Security

Computer security aims to protect information from theft or corruption,
while allowing the information to remain available to the users. This
research area covers:

• the techniques that are used to design or engineer safety critical systems,
• the languages that allow to better implement such systems
• and the techniques that can be used to detect intrusions or security breaches.

Related research topics 

• RFID Security and Privacy
• Design and Analysis of Cryptographic Protocols
• Cryptanalytic Time-Memory Trade-Off
• Engineering Security-Critical Systems