Systematizing Systematization of Knowledge
Since 2010, the IEEE Symposium on Security and Privacy (“Oakland” conference) has included papers on Systematization of Knowledge (SoK). This paper track grew out of discussions at the NSF/IARPA/NSA Workshop on the Science of Security held at the Claremont Resort in November 2008. This site collects all the Oakland SoK papers.
Other Conferences with SoK
| 2010 | |
| Outside the Closed World: On Using Machine Learning For Network Intrusion Detection | Robin Sommer, Vern Paxson |
| All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) | Thanassis Avgerinos, Edward Schwartz, David Brumley |
| State of the Art: Automated Black-Box Web Application Vulnerability Testing | Jason Bau, Elie Bursztein, Divij Gupta, John Mitchell |
| How Good are Humans at Solving CAPTCHAs? A Large Scale Evaluation | Elie Bursztein, Steven Bethard, John C. Mitchell, Dan Jurafsky, Céline Fabry |
| Bootstrapping Trust in Commodity Computers | Bryan Parno, Jonathan M. McCune, Adrian Perrig |
| 2011 | |
| Formalizing Anonymous Blacklisting Systems | Ryan Henry, Ian Goldberg |
| Mobile Security Catching Up? - Revealing the nuts and bolts of the security of mobile devices | Michael Becher, Felix C. Freiling, Johannes Hoffmann, Thorsten Holz, Sebastian Uellenbeck, Christopher Wolf |
| A Formal Foundation for the Security Features of Physical Functions | Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, Francois-Xavier Standaert, Christian Wachsmann |
| Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach | Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf |
| 2012 | |
| Prudent Practices for Designing Malware Experiments: Status Quo and Outlook | Christian Rossow, Christian J. Dietrich, Chris Grier, Christian Kreibich, Vern Paxson, Norbert Pohlmann, Herbert Bos, Maarten van Steen |
| Dissecting Android Malware: Characterization and Evolution | Yajin Zhou, Xuxian Jiang |
| The Psychology of Security for the Home Computer User | Adele Howe, Indrajit Ray, Mark Roberts, Malgorzata Urbanska, Zinta Byrne |
| Peek-a-Boo, I Still See you: Why Efficient Traffic Analysis Countermeasures Fail | Kevin P. Dyer, Scott E. Coull, Thomas Ristenpart, Thomas Shrimpton |
| Third-Party Web Tracking Policy and Technology | Jonathan R. Mayer, John C. Mitchell |
| OB-PWS: Obfuscation-Based Private Web Search | Ero Balsa, Carmela Troncoso, Claudia Diaz |
| The quest to replace passwords: A framework for comparative evaluation of web authentication schemes | Joseph Bonneau, Cormac Herley, Paul C. van Oorschot, Frank Stajano |
| 2013 | |
| SoK: Eternal War in Memory | Laszlo Szekeres, Mathias Payer, Tao Wei, Dawn Song |
| SoK: P2PWNED — Modeling and Evaluating the Resilience of Peer-to-Peer Botnets | Christian Rossow, Dennis Andriesse, Tillmann Werner, Brett Stone-Gross, Daniel Plohmann, Christian J. Dietrich, Herbert Bos |
| SoK: Secure Data Deletion | Joel Reardon, David Basin, Srdjan Capkun |
| SoK: The Evolution of Sybil Defense via Social Networks | Lorenzo Alvisi, Allen Clement, Alessandro Epasto, Silvio Lattanzi, Alessandro Panconesi |
| SoK: SSL and HTTPS: Revisiting Past Challenges and Evaluating Certificate Trust Model Enhancements | Jeremy Clark, Paul C. van Oorschot |
| 2014 | |
| SoK: Security and Privacy in Implantable Medical Devices and Body Area Networks | Michael Rushanan, Colleen Swanson, Denis Foo Kune, Aviel D. Rubin |
| SoK: Introspections on Trust and the Semantic Gap | Bhushan Jain, Mirza Basim Baig, Dongli Zhang, Donald E. Porter, Radu Sion |
| 2015 | |
| SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies | Joseph Bonneau, Andrew Miller, Jeremy Clark, Arvind Narayanan, Joshua A. Kroll, Edward W. Felten |
| SoK: Secure Messaging | Nik Unger, Sergej Dechand, Joseph Bonneau, Sascha Fahl, Henning Perl, Ian Goldberg, Matthew Smith |
| SoK: A comprehensive analysis of game-based ballot privacy definitions | David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi |
| SoK: Deep Packer Inspection: A Longitudinal Study of the Complexity of Run-Time Packers | Xabier Ugarte-Pedrero, Davide Balzarotti, Igor Santos Grueiro, Pablo Garcia Bringas |
| 2016 | |
| SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis | Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna |
| SoK: Everyone Hates Robocalls: A Survey of Techniques against Telephone Spam | Huahong Tu, Adam Doupé, Ziming Zhao, Gail-Joon Ahn |
| SoK: Lessons Learned From Android Security Research For Appified Software Platforms | Yasemin Acar, Michael Backes, Sven Bugiel, Sascha Fahl, Patrick McDaniel, Matthew Smith |
| SoK: Verifiability Notions for E-Voting Protocols | Véronique Cortier, David Galindo, Ralf Kuesters, Johannes Mueller, Tomasz Truderung |
| SoK: Towards Grounding Censorship Circumvention in Empiricism | Michael C. Tschantz, Sadia Afroz, Anonymous, Vern Paxson |
| 2017 | |
| SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit | Cormac Herley, Paul C. van Oorschot |
| SoK: Cryptographically Protected Database Search | Benjamin Fuller, Mayank Varia, Arkady Yerukhimovich, Emily Shen, Ariel Hamlin, Vijay Gadepally, Richard Shay, John Darby Mitchell, Robert K. Cunningham |
| SoK: Exploiting Network Printers | Jens Müller, Vladislav Mladenov, Juraj Somorovsky, Jörg Schwenk |