The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Information Assurance / Security / Privacy / Cryptography

• « Older Entries

  Newer Entries »
• richard matzner at Physics Dept, Univ of Texas Austin TX 78712 (Austin TX)
  Keywords: numerical relativity, finite elements, analytical relativity, Information Assurance & Security,Computational Science Education, Scalable Computing, Data-Intensive Computing 10June, 2009
• Peter Chen at University of Michigan (Ann Arbor, MI)
  Keywords: Operating systems, virtual machines, computer security, fault tolerance, file and storage systems. 9June, 2009
• Prabhakar Kudva at IBM TJ Watson Research Center (Yorktown Heights, NY)
  Keywords: Fault Tolerance, Reliability, Computer Architecture, Power management, Performance and power analysis, Soft Errors, System Design, Low power circuits, system design methods 9June, 2009
• Manoj Prabhakaran at University of Illinois, Urbana-Champaign (Urabana, IL)
  Keywords: cryptography, security, encryption, multi-party computation, proof of security, computational complexity 9June, 2009
• Kang Shin at The University of Michigan (Ann Arbor, Michigan)
  Keywords: Wireless networks, Quality-of-Service, security and privacy, embedded and cyber-physical systems, large-scale Internet services and servers 8June, 2009
• Antonio Nicolosi at Stevens Institute of Technology (Hoboken, NJ)
  Keywords: Computer Systems Security, Applications of Cryptography to Distributed Systems, Authentication Mechanisms, Lattice-Based Cryptography, Lattices and Decoding Algorithms, Anonymity and Privacy 8June, 2009
• Nelly Fazio at City University of New York (City College & Graduate Center) (New York, NY)
  Keywords: Cryptographic Protocols and Provable Security, Content Protection and Forensics, Identity-Based Cryptography, Access Control, Zero Knowledge. 8June, 2009
• Alessandro Orso at Georgia Institute of Technology (Atlanta, GA)
  Keywords: Software testing, static and dynamic program analysis, software security, web applications security and reliability. 8June, 2009
• Shriram Krishnamurthi at Brown University (Providence, RI)
  Keywords: programming languages, verification, security, software engineering 8June, 2009
• Tevfik Bultan at University of California at Santa Barbara (Santa Barbara, CA)
  Keywords: model checking, static analysis, service oriented computing, concurrency, and software engineering 8June, 2009
• Byrav Ramamurthy at University of Nebraska-Lincoln (Lincoln, NE)
  Keywords: Optical networks, network security, network applications. 8June, 2009
• Prakash Ishwar at Boston University (Boston, MA)
  Keywords: Network Information Theory, Communication Complexity Theory, Information-Theoretic Security, Video Analytics, Statistical Learning Theory, Multidimensional Signal Processing 8June, 2009
• Guiling (Grace) Wang at New Jersey Institute of Technology (Newark, NJ)
  Keywords: Sensor Networks, Vehicular Networks, Distributed System, Networking 8June, 2009
• Vladimir Kolesnikov at Bell Labs -- Research (Murray Hill, NJ)
  Keywords: Cryptographic protocols and primitives, definitional work, key exchange, secure multi-party computation, provable security, network security, secure hardware designs and applications 5June, 2009
• Neil Rowe at Naval Postgraduate School (Monterey, California)
  Keywords: suspicious behavior, surveillance, data mining, deception, decoys, forensics 5June, 2009
• Yevgeniy Dodis at New York University (New York, NY)
  Keywords: Exposure-Resilient Cryptography, Cryptography and Imperfect Randomness, Cryptography with Biometrics and Other Noisy Data, Hash Functions, Information-Theoretic Cryptography, Hardness Amplification, Composition of Protocols 5June, 2009
• Anna Lysyanskaya at Brown University (Providence, RI)
  Keywords: cryptography, cryptographic protocols, provable security 5June, 2009
• Zhendong Su at University of California, Davis (Davis, CA)
  Keywords: program analysis, defect detection, clone detection and analysis, program equivalence detection, testing, automated debugging, specification mining, reliability of numerical software, web security, software security, malware detection and analysis 5June, 2009
• Murali Annavaram at University of Southern California (Los Angeles, CA)
  Keywords: 3D stacking, reliability, power performance and reliability tradeoffs, simulation and modeling of CPUs, architecture, microarchitecture, mobile computing, sensor systems, low power designs, data center efficiency, 5June, 2009
• Quentin Jones at New Jersey Institute of Technology - SmartCampus Lab (Newark New Jersey)
  Keywords: Social Computing, CSCW, HCI, Mobile Computing, Ubiquitous Computing, Pervasive Computing, Online Communities, Social Recommendation Systems 4June, 2009
• Anil Jain at Michigan State University (East Lansing)
  Keywords: Pattern recognition, computer vision, biometrics recognition 4June, 2009
• David Du at University of Minnesota, Minneapolis Minnesota (Minneapolis, Minnesota)
  Keywords: Future Internet, Vechicle-to-Vechicle Communications, Air Transportation Cyber Physical Systems, Mobile and Sensor Networks, Mass Storage Systems, Long-Term Data Preservation, Data Security/Privacy, Information Critical Networks, Situation-Aware Networks 4June, 2009
• Ehab Al-Shaer at University of North Carolina, Charlotte and DePaul University, Chicago (Charlotte, NC)
  Keywords: formal methods, model checker, sat solvers, game theory, optimization theory, network scanning, botnet characterization, security metrics, overlay networks 4June, 2009
• Lang Tong at Cornell University (Ithaca, NY)
  Keywords: Statistical inference, security, anonymous networking, information theory, wireless communications and networks, sensor networks. 4June, 2009
• Ben Zhao at University of California, Santa Barbara (Santa Barbara, CA, USA)
  Keywords: social networks, large-scale distributed systems, communication security and privacy, vehicular networks, peer-to-peer networks 3June, 2009
• Cyrus Shahabi at University of Southern California (USC) (Los Angeles, CA)
  Keywords: Geospatial information management, multidimensional data analysis, GIS, spatial database, location privacy, spatial data outsourcing, sensor network, data stream, wavelets, spatial index, road network, intelligent transportation 3June, 2009
• Insup Lee at University of Pennsylvania (Philadelphia, PA)
  Keywords: real-time systems, embedded systems, cyber-physical systems, high-confidence medical software systems, formal methods, quantitative trust managment 2June, 2009
• Ole Mengshoel at Carnegie Mellon University, Silicon Valley & NASA Ames (San Francisco Bay Area)
  Keywords: Bayesian networks; Inference; Machine Learning; Stochastic Local Search; Evolutionary Algorithms; Aerospace Vehicle Health Management; Electrical Power Systems; Real-Time Systems; Dependable Systems; Aerospace Vehicles; Software/Knowledge Engineering. 2June, 2009
• Kannan Ramchandran at University of California at Berkeley (Berkeley, CA)
  Keywords: secure distributed networked storage, multi-user information theory, video-over-wireless, distributed signal processing and coding, network coding, peer-to-peer content delivery, wireless video camera networks, cognitive radio. 2June, 2009
• Juan A. Garay at AT&T Labs (Florham Park, NJ)
  Keywords: Cryptography, cryptographic protocols, information security 2June, 2009
• Amit Sahai at UCLA (Los Angeles, CA)
  Keywords: cryptography, computational complexity, algorithms, security, error-correcting codes, zero knowledge, oblivious transfer, public-key encryption, secure computation, secure multi-party computation, bilinear maps, obfuscation, protocol composition 1June, 2009
• Vern Paxson at International Computer Science Institute (Berkeley, CA)
  Keywords: network measurement, intrusion detection, botnets, underground economy 1June, 2009
• Emina Soljanin at Corporate Research Lab (Murray Hill, NJ)
  Keywords: coding theory, information theory, network coding, rateless coding, secrecy, quantum information 1June, 2009
• Lori Clarke at University of Massachusetts (Amherst, MA)
  Keywords: Analysis of concurrent and distributed systems, finite-state verification, requirements engineering, safety analysis, analysis based process improvement 30May, 2009
• Pradip Bose at IBM Thomas J. Watson Research Center (Yorktown Heights, NY)
  Keywords: power-aware microarchitectures, reliable systems, technology-aware design and tools, pre-silicon modeling, verification-aware microarchitectures, 3D-integrated chip architectures 29May, 2009
• Jason Nieh at Columbia University (New York, NY)
  Keywords: software systems, operating systems, virtualization, file and storage systems, cloud computing, mobile computing, thin-client computing, network computing, Web systems, high-performance computing, security, performance evaluation. 29May, 2009
• Norman Sadeh at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Mobile and Pervasive computing, social networking, user-controllable security and privacy, expressiveness in mechanism design, user-controllable machine learning, automated and mixed-initiative trading, semantic web technologies 29May, 2009
• Vern Paxson at UC Berkeley (Berkeley, CA)
  Keywords: network measurement, network monitoring, intrusion detection, botnets, cybercrime, underground economy 28May, 2009
• Garth Crosby at Southern Illinois University Carbondale (Carbondale, IL)
  Keywords: Wireless sensor network, ad hoc, trust, security, privacy,wireless network,network, body sensor, sensor actuator, communication, 28May, 2009
• Lakshmish Ramaswamy at Dept. Of Computer Science, University of Georgia (Athens, GA)
  Keywords: Event-based systems, Publish-subscribe systems, Web-data management, Web 2.0, Anti-spam systems, Denial of Information, Mobile and ubiquitous computing 28May, 2009
• Edward Felten at Princeton University, Dept. of Computer Science and Center for Information Technology Policy (Princeton, NJ)
  Keywords: policy, Internet, security, privacy, e-government, voting 27May, 2009
• Nirwan Ansari at New Jersey Institute of Technology (Newark, NJ)
  Keywords: Broadband access, Network coding, Network security, QoS provisioning, Link state updating, Active queue management, Traffic modeling and scheduling, All-optical networks, Multimedia communicaionts, Specific network-based applications. 27May, 2009
• Arnon Rosenthal at The MITRE Corporation (Bedford MA, Washington, DC)
  Keywords: data base, data integration, access control management 26May, 2009
• C. R. Ramakrishnan at Stony Brook University, Computer Science Department (Stony Brook, Long Island, NY)
  Keywords: verification, formal methods, logic programming 26May, 2009
• Rachel Greenstadt at Drexel University (Philadelphia, PA)
  Keywords: security, privacy, agents, artificial intelligence, web infections 26May, 2009
• Ramon Caceres at AT&T Labs (Florham Park, NJ)
  Keywords: systems, networks, mobile, pervasive, ubiquitous, wireless, measurement, virtualization, security, privacy 26May, 2009
• Jun Li at University of Oregon (Eugene, OR)
  Keywords: Internet security, computer security, web security, distributed systems 26May, 2009
• Michael Mascagni at Florida State University (Tallahassee, FL)
  Keywords: random number generation, Monte Carlo methods, applications in biology/neuroscience/physics, parallel/distributed/Grid-based computing, mathematical software, algorithms, stochastic modeling, scientific computing 26May, 2009
• Andrew Tolmach at Portland State University (Portland, OR)
  Keywords: functional programming, high-assurance programming, program verification, runtime systems, compilers, Haskell, ML, Coq 26May, 2009
• Sriram Vishwanath at University of Texas, Austin (Austin, TX)
  Keywords: Networks, Wireless, Information Theory, Bioinformatics 26May, 2009