The Computing Innovation Fellows Project

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

• Radu Sion at Stony Brook Network Security and Applied Cryptography Lab (New York, NY)
  Keywords: rusted hardware, regulatory compliant systems, digital rights management, secure storage and data management (clouds, outsourcing, queries over encrypted data), cellular and wireless security, data privacy mechanisms, and fun cryptography 17July
• Minaxi Gupta at Indiana University (Bloomington, IN)
  Keywords: network security, large-scale Internet measurements, DNS security, cybercrime infrastructures 24June
• Subhabrata Sen at AT&T Labs--Research (Florham Park, NJ)
  Keywords: Network management, Configuration management, Network measurements, Network Security, Routing and Data plane interactions, Traffic analysis, Network data mining, Performance analysis and troubleshooting. 11June
• 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
• Peter Chen at University of Michigan (Ann Arbor, MI)
  Keywords: Operating systems, virtual machines, computer security, fault tolerance, file and storage systems. 9June
• Atul Adya at Google Seattle (Seattle, Washington)
  Keywords: distributed systems, databases, transactions, consistency, caching, file systems 9June
• 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
• Manoj Prabhakaran at University of Illinois, Urbana-Champaign (Urabana, IL)
  Keywords: cryptography, security, encryption, multi-party computation, proof of security, computational complexity 9June
• David Brumley at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: software security, computer security, network security, malware, binary analysis, exploits, reverse engineering, signature generation, intrusion detection, applied cryptography, model checking, formal methods, symbolic execution, compilers 8June
• 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
• 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
• 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
• 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
• Shriram Krishnamurthi at Brown University (Providence, RI)
  Keywords: programming languages, verification, security, software engineering 8June
• David kaeli at Northeastern University (Boston, MA)
  Keywords: GPUs, intrusion detection, virtualization, recovery, many-core memory design 8June
• 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
• Byrav Ramamurthy at University of Nebraska-Lincoln (Lincoln, NE)
  Keywords: Optical networks, network security, network applications. 8June
• 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
• Guiling (Grace) Wang at New Jersey Institute of Technology (Newark, NJ)
  Keywords: Sensor Networks, Vehicular Networks, Distributed System, Networking 8June
• 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
• Neil Rowe at Naval Postgraduate School (Monterey, California)
  Keywords: suspicious behavior, surveillance, data mining, deception, decoys, forensics 5June
• 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
• Anna Lysyanskaya at Brown University (Providence, RI)
  Keywords: cryptography, cryptographic protocols, provable security 5June
• 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
• 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
• 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
• Anil Jain at Michigan State University (East Lansing)
  Keywords: Pattern recognition, computer vision, biometrics recognition 4June
• David Harris at Harvey Mudd College (Claremont, CA)
  Keywords: VLSI, CMOS, digital design, cryptography, computer arithmetic 4June
• 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
• 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
• Lang Tong at Cornell University (Ithaca, NY)
  Keywords: Statistical inference, security, anonymous networking, information theory, wireless communications and networks, sensor networks. 4June
• 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
• Truong Nguyen at University of California, San Diego (UCSD) (San Diego, CA)
  Keywords: Video processing, image processing, filter banks and wavelets, image analysis and understanding, 3D - multiview signal processing, machine learning, signal processing for medical devices 3June
• 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
• 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
• Patrick Schaumont at Virginia Polytechnic Institute and State University (Blacksburg, VA)
  Keywords: Cryptographic Hardware, Embedded Security, Codesign, Methodology, Low-power, Efficient Implementations, Physical Attacks, Physical Countermeasures 2June
• 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
• 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
• Juan A. Garay at AT&T Labs (Florham Park, NJ)
  Keywords: Cryptography, cryptographic protocols, information security 2June
• 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 2June
• 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
• Vern Paxson at International Computer Science Institute (Berkeley, CA)
  Keywords: network measurement, intrusion detection, botnets, underground economy 1June
• Emina Soljanin at Corporate Research Lab (Murray Hill, NJ)
  Keywords: coding theory, information theory, network coding, rateless coding, secrecy, quantum information 1June
• Kevin Bowyer at University of Notre Dame (Notre Dame, IN)
  Keywords: biometrics, computer vision, pattern recognition, iris recognition, face recognition, privacy, social impact, data mining 1June
• Angelos Stavrou at George Mason University / Center For Secure Information Systems (Washington, DC)
  Keywords: Network & Systems' Security, Intrusion Detection,Privacy, Anonymity, 31May
• 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 31May
• 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
• Scott Smolka at Stony Brook University (Washington, DC)
  Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols 30May
• 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
• 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