Information Security Group (@infsecateth) 's Twitter Profile
Information Security Group

@infsecateth

News from the Information Security Group at @ETH_en. Tweets from our group members represent personal views only.

ID: 986201483803848704

linkhttp://www.infsec.ethz.ch/ calendar_today17-04-2018 11:15:31

4 Tweet

150 Followers

3 Following

Information Security Group (@infsecateth) 's Twitter Profile Photo
Information Security Group
@infsecateth

7 years ago

We perform research and education on methods and tools for the analysis and construction of safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing systems and infrastructures