Projects by laboratory ‒ IC ‐ EPFL

for Cyber Security

Labs in the School of Computer & Communication Sciences
Labs at ETH Zurich (during exchange semester only)

School	URL Lab	Lab	Supervisor	IC Domain	Research Interest
IC	COMPSEC	Computation Security	Chiesa, Alessandro	ATCS, SP	probabilistic proofs, zero knowledge proofs, succinct arguments
IC	DCL	Distributed Computing	Guerraoui, Rachid	ATCS, AIML, DC, PLFM	algorithms, security and privacy, operating systems and networks, artificial intelligence
IC	DCSL	Data Center Systems	Bugnion, Edouard	OSNET	datacenter efficiency, microsecond-scale computing, trust in the cloud, computer systems, datacenter operating systems and networking, virtualization
IC	DEDIS	Decentralized and Distributed Systems	Ford, Bryan	DC, PLFM, SP	decentralized systems, digital personhood, e-voting and digital democracy, blockchains and cryptocurrencies
IC	DSLAB	Dependable Systems	Candea, George	OSNET, PLFM, SP	reliability and security in large-scale systems, predictable system performance, scalability
IC	HEXHIVE	HexHive	Payer, Mathias	PLFM, SP	system security, software security, mitigations, sanitization, automated testing, compartmentalization
IC	LASEC	Security and Cryptography	Vaudenay, Serge	ATCS, ICT, SP	cryptography, cryptographic constructions, security models, cryptanalysis, biometry, privacy vs transparency, fairness
IC	LIA	Artificial Intelligence	Faltings, Boi	AIML, NLP	multi-agent systems, distributed AI, privacy-preserving AI, computational game theory
IC	LSIR	Distributed Information Systems	Aberer, Karl	AIML, DMIR, NLP	semantic interoperability, information retrieval, social networks, trust management
IC	MIL	Mathematics of Information	Shkel, Yanina	ATCS, ICT	theoretical aspects of data science, statistics, privacy, cryptography, {information, learning, coding}-theory
IC	MLO	Machine Learning and Optimization	Jaggi, Martin	ATCS, AIML, DC, NLP	distributed training, collaborative learning, efficiency, robustness and privacy when training ML and deep learning models
IC	NAL	Network Architecture	Argyraki, Katerina	OSNET	network transparency and neutrality, network inference, network function verification, performance verification
IC	PARSA	Parrallel Systems Architecture	Falsafi, Babak	CAIS, DC, PLFM	post-Moore servers, sustainability in datacenters, machine learning systems, cloud computing
IC	PARSA	Parrallel Systems Architecture	Stojilovic, Mirjana		field-programmable technology, electronic design automation (EDA), electrical-level attacks and countermeasures for reconfigurable hardware
IC	RS3LAB	Robust Scalable Systems Software	Kashyap, Sanidhya	CAIS, OSNET	parallelism, concurrency, storage, verification, and software security
IC	SaCS	Scalable Computing Systems	Kermarrec, Anne-Marie	AIML, DMIR, DC	system support for federated and decentralized learning, gossip-based distributed computing, peer to peer computing, scalable design, failure resilience, performance and privacy-preservation
IC	SPRING	Security and Privacy Engineering	Gonzalez Troncoso, Carmela	DMIR, DC, SP	privacy engineering, societal impact of machine learning, decentralization
IC	SYSTEMF	Systems and Formalisms	Pit-Claudel, Clément	PLFM, S&P	programming languages, compilers, formal verification, systems engineering, hardware design languages, security, performance engineering, databases, and type theory
IC	VCA	Verification and Computer Architecture	Bourgeat, Thomas	CAIS, PLFM, S&P	processor design, programming languages, computer architecture and formal hardware verification

IC Domains: Artificial Intelligence & Machine Learning – AIML // Algorithms & Theoretical Computer Science – ATCS // Computer Architecture & Integrated Systems – CAIS // Data Management & Information Retrieval – DMIR // Digital Education – DE // Distributed Computing – DC // Human-Computer Interaction – HCI // Information & Communication Theory – ICT // – Natural Language Processing – NLP //Operating Systems and Networks – OSNET // Programming Languages & Formal Methods – PLFM // Security & Privacy – SP // Signal & Image Processing – SIP // Visual Computing – VC

School	Group	Supervisor	Research Interests
ETHZ	Information Security	Basin, David	information security, verification, formal methods, software engineering, logic in computer science
ETHZ	System Security	Capkun, Srdjan	system and network security, wireless security, secure localization
ETHZ	Applied Cryptography	Paterson, Kenny	cryptography, information security, algorithms, discrete mathematics
ETHZ	Network Security	Perrig, Adrian	system and network security, networks, internet architecture
ETHZ	Secure & Trustworthy Systems	Shinde, Shweta	systems security, software security, trusted computing, secure hardware, verification
ETHZ	Secure and Private AI (SPY)	Tramèr, Florian	privacy, computer security, trustworthy machine learning, applied cryptography
ETHZ	Information Security and Cryptography	Maurer, Ueli	cryptography, information security, theoretical computer science, information theory, discrete mathematics
ETHZ	Foundations of Cryptography	Hofheinz, Dennis	cryptography, information security, proof systems, algorithms, theoretical computer science
ETHZ	Computer Security	Razavi, Kaveh	computer systems, security, commodity hardware, operating systems

Research projects must be supervised by a professor on the ETH Zurich faculty list. The duration of the research project at ETH Zurich must be 14 weeks, as for a project carried out at EPFL. You should fix the dates for your research project with your supervisor at ETH Zurich at the beginning of the semester.