Sjouke Mauw

1. Attack Trees with Sequential Conjunction
   2015/03/08 by Ravi Jhawar, Barbara Kordy, Jhawar, Ravi +9 · 3 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection #cs.CR
2. ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
   2020/03/12 by Christof Ferreira Torres, Torres, Christof Ferreira, Mathis Baden +9 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
3. A framework for compositional verification of security protocols
   2006/11/14 by Suzana Andova, Cas Cremers, Andova, Suzana +12 · 1 citation
   Computer Science · #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #Digital Rights Management and Security #FOS: Computer and information sciences #User Authentication and Security Systems #cs.CR
4. Preventing active re-identification attacks on social graphs via sybil subgraph obfuscation
   2020/07/10 by Sjouke Mauw, Mauw, Sjouke, Yunior Ramírez-Cruz +3 · 1 citation
   Computer Science · Social Sciences · #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Privacy, Security, and Data Protection #Privacy-Preserving Technologies in Data #Social and Information Networks (cs.SI)