| 2017 | Verifiable Document Redacting. | Herv Chabanne, Rodolphe Hugel, Julien Keuffer |
| 2017 | Server-Supported RSA Signatures for Mobile Devices. | Ahto Buldas, Aivo Kalu, Peeter Laud, Mart Oruaas |
| 2017 | Zero Round-Trip Time for the Extended Access Control Protocol. | Jacqueline Brendel, Marc Fischlin |
| 2017 | Mirage: Toward a Stealthier and Modular Malware Analysis Sandbox for Android. | Lorenzo Bordoni, Mauro Conti, Riccardo Spolaor |
| 2017 | Verifying Constant-Time Implementations by Abstract Interpretation. | Sandrine Blazy, David Pichardie, Alix Trieu |
| 2017 | Inference-Proof Updating of a Weakened View Under the Modification of Input Parameters. | Joachim Biskup, Marcel Preu |
| 2017 | WebPol: Fine-Grained Information Flow Policies for Web Browsers. | Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer |
| 2017 | Reusing Nonces in Schnorr Signatures - (and Keeping It Secure...). | Marc Beunardeau, Aisling Connolly, Houda Ferradi, Rmi Graud, David Naccache, Damien Vergnaud |
| 2017 | Non-interactive Provably Secure Attestations for Arbitrary RSA Prime Generation Algorithms. | Fabrice Benhamouda, Houda Ferradi, Rmi Graud, David Naccache |
| 2017 | Modular Verification of Protocol Equivalence in the Presence of Randomness. | Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan |
| 2017 | MTD CBITS: Moving Target Defense for Cloud-Based IT Systems. | Alexandru G. Bardas, Sathya Chandran Sundaramurthy, Xinming Ou, Scott A. DeLoach |
| 2017 | Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. | Manuel Barbosa, Dario Catalano, Dario Fiore |
| 2017 | We Are Family: Relating Information-Flow Trackers. | Musard Balliu, Daniel Schoepe, Andrei Sabelfeld |
| 2017 | Server-Aided Secure Computation with Off-line Parties. | Foteini Baldimtsi, Dimitrios Papadopoulos, Stavros Papadopoulos, Alessandra Scafuro, Nikos Triandopoulos |
| 2017 | Who Am I? Secure Identity Registration on Distributed Ledgers. | Sarah Azouvi, Mustafa Al-Bassam, Sarah Meiklejohn |
| 2017 | A User-Centric System for Verified Identities on the Bitcoin Blockchain. | Daniel Augot, Herv Chabanne, Thomas Chenevier, William George, Laurent Lambert |
| 2017 | Is My Attack Tree Correct? | Maxime Audinot, Sophie Pinchinat, Barbara Kordy |
| 2017 | Decision-Making in Security Requirements Engineering with Constrained Goal Models. | Nikolaos Argyropoulos, Konstantinos Angelopoulos, Haralambos Mouratidis, Andrew Fish |
| 2017 | Source Code Authorship Attribution Using Long Short-Term Memory Based Networks. | Bander Alsulami, Edwin Dauber, Richard E. Harang, Spiros Mancoridis, Rachel Greenstadt |
| 2017 | A UML Profile for Privacy-Aware Data Lifecycle Models. | Majed Alshammari, Andrew Simpson |
| 2017 | Tree-Based Cryptographic Access Control. | James Alderman, Naomi Farley, Jason Crampton |
| 2017 | Tightly Secure Ring-LWE Based Key Encapsulation with Short Ciphertexts. | Martin R. Albrecht, Emmanuela Orsini, Kenneth G. Paterson, Guy Peer, Nigel P. Smart |
| 2017 | Searchable Encrypted Relational Databases: Risks and Countermeasures. | Mohamed Ahmed Abdelraheem, Tobias Andersson, Christian Gehrmann |
| 2016 | PPOPM: More Efficient Privacy Preserving Outsourced Pattern Matching. | Jun Zhou, Zhenfu Cao, Xiaolei Dong |
| 2016 | Hey, You, Get Off of My Image: Detecting Data Residue in Android Images. | Xiao Zhang, Yousra Aafer, Kailiang Ying, Wenliang Du |