-
engineering, malicious software analysis and prevention, and similar topics. We are particularly encouraging people working at the intersection of systems-level security and formal aspects of computer science
-
on integration of experimentally based approaches with fundamental understanding of physical, chemical, and engineering principles, including simulation of the system’s behavior. The current research within the 3P
-
-assisted security,language-based security and secure compilation, IoT, cryptographic and security engineering, malicious software analysis and prevention, and similar topics. We are particularly encouraging
-
, consisting of 21 research groups and 5 technology platforms, who work in a vibrant international research environment with a focus on interdisciplinary collaboration. Our researchers share a common purpose as