CS-510: Topics in software securityMemory corruption and type safety flaws dominate the threat landscape. We will approach current research
from three dimensions: sanitization (finding flaws through runtime monitors); fuzzing (testing
MGT-413: Entrepreneurship & new venture strategyA foundational course on the science and practice of launching new ventures. The purpose is to study and experience the first stages of the entrepreneurial process: from the identification of promisin
EE-530: Test of VLSI systemsTest of VLSI Systems covers theoretical knowledge related to the major algorithms used in VLSI test, and design for test techniques. Basic knowledge related to computer-aided design for test technique
COM-112(a): Project oriented programmingCe cours complète les connaissances sur le langage C++, en particulier sur le développement d'application modulaire
robuste (principe de séparation des fonctionnalités). La dimension pratique étant ju
PENS-201: Making structural logicThe ENAC week provides students the possibility to engage into an iterative process of testing and exploring structural and material limits and possibilities through the collaborative design and const
CS-412: Software securityThis course focuses on software security fundamentals, secure coding guidelines and principles, and advanced software security concepts. Students learn to assess and understand threats, learn how to d
BIO-512: Digital epidemiologyEpidemiology is foundational to medicine and public health. This course starts with the key principles of classical epidemiology, progressing through computational modeling techniques, and concluding