Information Security Group (@INFSECatETH) header
Information Security Group (@INFSECatETH) profile picture

Information Security Group

@INFSECatETH

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

 Zurich, Switzerland
infsec.ethz.ch/
Joined April 2018
  • Tweets4
  • Following3
  • Followers147
Information Security Group retweeted
Ralf Sasse (@RalfSasse) profile picture
Ralf Sasse@RalfSasse26 Sep 2018
New at CCS18: Formal Analysis of 5G -5G improves privacy but still suffers from traceability attacks -5G standard lacks security goals and assumptions -Fortunately, secure under our assumptions/fixes -Using Tamarin: formal, automated verification tool arxiv.org/abs/1806.10360
1
2
Register until July 31: #CAS and #DAS in #CyberSecurity. Learn more about this program at the #ETH department of computer science here: inf.ethz.ch/continuing-educa… and here: inf.ethz.ch/continuing-educa… (BaP)
"Refining security protocols" by Christoph Sprenger and David Basin @ETH_en, DOI: 10.3233/JCS-16814
1
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
Load more