Mauw, Sjouke
- Attack Trees with Sequential Conjunction
2015/03/08 by Ravi Jhawar, Barbara Kordy, Jhawar, Ravi +7 · 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
- ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
2020/03/12 by Christof Ferreira Torres, Mathis Baden, Torres, Christof Ferreira +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
- 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
- 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)
- Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference
2025/12/17 by Zhang, Chenxiang, Qu, Tongxi, Li, Zhong +3 · 1 citation
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Security and Verification in Computing