The Computing Innovation Fellows Project

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

• « Older Entries
• Jennifer Rode at Drexel University (Philadelphia, PA)
  Keywords: Human Computer Interaction, Ubiquitous Computing, Ethnography, Theory, Values, Gender, Homes, Privacy, Security, User Experience, Participatory Design, Children, Usability Evauation 27May, 2010
• Sachin Katti at Stanford University (Palo Alto, CA)
  Keywords: Networks, Wireless communications, network coding, information theory, applied coding theory, distributed systems, embedded systems 22May, 2010
• Lorrie Cranor at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: privacy, security, usability, Internet policy, Privacy Enhancing Technologies, human factors, public policy 22May, 2010
• Arun Venkataramani at University of Massachusetts Amherst (Amherst, MA)
  Keywords: Networking, systems, security. 21May, 2010
• Bryan Ford at Yale University (New Haven, CT)
  Keywords: Operating systems, networking, distributed systems, peer-to-peer, cloud computing, security, privacy, anonymity, transport, routing, determinism, parallel processing, multicore systems 20May, 2010
• Michael Ernst at Univesity of Washington (Seattle, WA)
  Keywords: programmer productivity, software engineering, programming languages, security, testing, type systems, static analysis, dynamic analysis, bug detection, refactoring, verification 20May, 2010
• Atul Adya at Google Seattle (Seattle, Washington)
  Keywords: distributed systems, databases, transactions, consistency, caching, file systems 20May, 2010
• Joseph Zambreno at Iowa State University (Ames, IA)
  Keywords: Reconfigurable computing, computer architecture, compilers, information security, multimedia, data mining, graphics and visualization 19May, 2010
• Johannes Gehrke at Cornell University (Ithaca, NY)
  Keywords: Data mining, data privacy, database systems, computer games, cloud computing. 17May, 2010
• Adam Smith at Pennsylvania State University (University Park, PA)
  Keywords: privacy, confidentiality, cryptography, algorithms, information theory, coding, statistics 14May, 2010
• Albert M. K. Cheng at University of Houston (Houston, Texas)
  Keywords: Real-Time Systems; Embedded Systems; Cyber-Physical Systems; Formal Verification; Networking; Software Engineering; Operating Systems; Power-Aware and Green Computing. 14May, 2010
• John Chuang at University of Californa, Berkeley (Berkeley, CA)
  Keywords: economics of computer networks, economics of information security, p2p, incentive-centered design, economics, public policy, ICTD 14May, 2010
• William Robinson at Vanderbilt University (Nashville, TN)
  Keywords: Soft errors in microprocessors, Computer architecture design, Very Large Scale Integrated circuit (VLSI) design, Field Programmable Gate Arrays (FPGAs), Embedded computing, Secure hardware platforms, Reconfigurable architectures 13May, 2010
• Bo Luo at The University of Kansas (Lawrence, KS)
  Keywords: information security, privacy, XML, healthcare informatics, social networks 13May, 2010
• Salvatore Stolfo at Columbia University Computer Science Department (New York, NY)
  Keywords: Intrusion Detection; Anomaly detection; Behavior-based security, collaborative security systems; Insider Threat; Polymorhpic Shellcode; 13May, 2010
• David Wagner at University of California, Berkeley (Berkeley, CA)
  Keywords: Computer security, software security, electronic voting, trustworthy systems 13May, 2010
• Tom Anderson at University of Washington (Seattle, WA)
  Keywords: P2P systems, Internet measurement, privacy, networks, and distributed systems 12May, 2010
• Steven Myers at Indiana University (Bloomington, Indiana)
  Keywords: Cryptography, Intersection of Complex Systems and Security, Novel attacks in Ubiquitous computing environments, Health Information Technology Security 11May, 2010
• Robert Harper at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Type theory, proof theory, category theory, semantics, verification, logical frameworks, compilers, functional programming, module systems, dependent types. 10May, 2010
• Saurabh Bagchi at Purdue University (West Lafayette, IN)
  Keywords: Dependable systems, distributed systems, intrusion tolerance, reliable embedded systems, error detection, error diagnosis. 10May, 2010
• Tadayoshi Kohno at University of Washington (Seattle, WA)
  Keywords: Security, privacy, applied cryptography, mobile, emerging technologies 8May, 2010
• Jeff Foster at University of Maryland, College Park (College Park, MD)
  Keywords: Programming languages, software engineering, security, type systems, scripting languages, symbolic execution, static analysis, program synthesis 7May, 2010
• David Tipper at University of Pittsburgh (Pittsburgh, PA)
  Keywords: Green ICT, Network Design, Network Survivability and Resilience, Network Performance Modeling, Information Assurance Metrics and Models, Critical Infrastructure Protection 6May, 2010
• Rosario Gennaro at IBM T.J.Watson Research Lab (Hawthorne, NY)
  Keywords: Cryptography, Network Security, Encryption, Digital Signatures, Secure Protocols. 3May, 2010
• R Sekar at Stony Brook University (Stony Brook, NY)
  Keywords: Software security, malware defense, intrusion detection program analysis, program transformation, binary rewriting, OS virtualization 3May, 2010
• Saman Amarasinghe at MIT (Cambridge, MA)
  Keywords: Compiler, programming languages, parallel programming, virtual machines, security 3May, 2010
• Ethan Miller at University of California, Santa Cruz (Santa Cruz, CA)
  Keywords: file & storage systems, particularly archival storage, metadata, non-volatile memories, and cloud storage; reliability & security; distributed systems; operating systems 3May, 2010
• Hoeteck Wee at Queens College & Graduate Center, CUNY (New York, NY)
  Keywords: cryptography 3May, 2010
• Michael Bieber at New Jersey Institute of Technology (University Heights, Newark, NJ)
  Keywords: learning systems, decision analysis, DSS, emergency mgmt systems, ubicomp, HCI, social networking, pattern recognition, open source, text mining, search, recommender systems, virtual worlds, digital libraries, collaborative systems, CMC, delphi, Web Mining, Web Analytics 2May, 2010
• Yu Zhang (and Colleagues) at Trinity University (San Antonio, TX)
  Keywords: Liberal arts teaching, Undergraduate research 2May, 2010
• Alex Liu at Michigan State University (East Lansing, Michigan)
  Keywords: networking, security, algorithms, privacy, systems, Internet, measurement, protocol, performance, router design, policy, packet classification, firewall, TCAM optimization, packet processing. 1May, 2010
• Steven Simske at Hewlett-Packard Labs (Palo Alto, CA)
  Keywords: Security algorithms, Steganography, Next-generation printing, Inspection, Authentication, Image processing, Document processing, Medical imaging, Classification, Biometrics, Machine Vision, Track and Trace 1May, 2010
• Giuseppe Ateniese at The Johns Hopkins University (Baltimore, MD)
  Keywords: Cryptography, Network Security. 30April, 2010
• Gerome Miklau at University of Massachusetts (Amherst, MA)
  Keywords: Databases, privacy, anonymity, social networks, security 30April, 2010
• Darko Stefanovic at University of New Mexico (Albuquerque, NM)
  Keywords: Molecular computing, Molecular robotics, Compilation, Garbage collection, Virtual machines, Functional languages, Chemical networks, Bioinformatics 29April, 2010
• Thomas Reps at University of Wisconsin (Madison, WI)
  Keywords: program analysis; abstract interpretation; model checking; verification of program properties; dynamic, static, and symbolic techniques; security; analysis of machine code; linked data structures; concurrency; information assurance 29April, 2010
• Perry Alexander at The University of Kansas (Lawrence, KS)
  Keywords: formal methods, verification, synthesis, system-level design, system semantics, composition, model-based design 29April, 2010
• Dan Massey at Colorado State University (Fort Collins, CO)
  Keywords: network security, network infrastructure, infrastructure security, DNS security, routing security, routing measurement and monitoring, future internet routing, future internet naming 28April, 2010
• Matthew Might at University of Utah (Salt Lake City, Utah)
  Keywords: optimization, parallelism, security, verification, static analysis, abstract interpretation, control-flow analysis, functional programming, object-oriented programming 28April, 2010
• David Brumley at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: security, privacy, malware, program analysis, exploit 28April, 2010
• David Naumann at Stevens Institute of Technology (Hoboken, New Jersey)
  Keywords: program verification, verification methodology, semantics, static analysis, program transformation, refinement, correct by construction, security, information flow, mobile applications, ad hoc networks 28April, 2010
• Tal Malkin at Columbia University (New York, NY )
  Keywords: cryptography, privacy, provable security 28April, 2010
• Chris Peikert at Georgia Institute of Technology (Atlanta, GA)
  Keywords: Cryptography, lattices, error-correcting codes, geometric algorithms, computational complexity 28April, 2010
• Emery Berger at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: Programming languages, runtime systems, operating systems, memory management, concurrency, scalability, security, reliability, resilient runtime systems, error tolerance, error detection, error correction, randomization 28April, 2010
• Apu Kapadia at Indiana University Bloomington (Bloomington, IN)
  Keywords: network security, systems security, privacy, anonymity, peer-to-peer networks, social networks, mobile networks, pervasive computing 28April, 2010
• Kevin Fu at University of Massachusetts Amherst (Amherst, MA)
  Keywords: Computer system security and privacy, RFID security & privacy, implantable medical device security, secure storage, applied cryptography, cryptanalysis. 28April, 2010
• Sven Dietrich at Stevens Institute of Technology (Hoboken, NJ)
  Keywords: Denial of service, botnets, malware, applied cryptography, network security with GPUs, online social networks, privacy 28April, 2010
• Wendy Hui Wang at Stevens Institute of Technology (Hoboken, New Jersey)
  Keywords: Information security and privacy, Semi-structured (XML) Database, Data mining, Data management on networks, Semantic Web 28April, 2010
• Susanne Wetzel at Stevens Institute of Technology (Hoboken, NJ)
  Keywords: Wireless Security, RFID Security, Biometrics, Privacy-Preserving Multi-Party Computations, Security Economics, Cryptography on GPUs, Lattice Theory 28April, 2010
• Don Towsley at University of Massachusetts, Department of Computer Science (Amherst, MA)
  Keywords: wireless networks, security, modeling and analysis 28April, 2010