Frank Piessens

285 papers A* 43A 44B 20C 17Misc 10Journal 70Unranked 71

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SoK: Robust properties, robust abstractions and back-translations. J. Comput. Secur. Emiel Lanckriet, Frank Piessens, Dominique Devriese
2025	J	`jnl`	AttackDefense Framework (ADF): Enhancing IoT Devices and Lifecycles Threat Modeling. ACM Trans. Embed. Comput. Syst. Tommaso Sacchetti, Marton Bognar, Jesse De Meulemeester, Benedikt Gierlichs, Frank Piessens, Volodymyr Bezsmertnyi, Maria Chiara Molteni, Stefano Cristalli, Arianna Gringiani, Olivier Thomas, Daniele Antonioli
2025	—	`conf`	Hardware Cost Evaluation in Systems Security. ACM REP Jesse De Meulemeester, Quinten Norga, Frank Piessens, Ingrid Verbauwhede, Marton Bognar
2025	A*	`conf`	TLBlur: Compiler-Assisted Automated Hardening against Controlled Channels on Off-the-Shelf Intel SGX Platforms. USENIX Security Symposium Daan Vanoverloop, Andrés Sánchez, Flavio Toffalini, Frank Piessens, Mathias Payer, Jo Van Bulck
2024	A*	`conf`	Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs. SP Hans Winderix, Marton Bognar, Job Noorman, Lesly-Ann Daniel, Frank Piessens
2024	A*	`conf`	Intellectual Property Exposure: Subverting and Securing Intellectual Property Encapsulation in Texas Instruments Microcontrollers. USENIX Security Symposium Marton Bognar, Cas Magnus, Frank Piessens, Jo Van Bulck
2024	J	`jnl`	Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version). CoRR Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens
2024	A*	`conf`	Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors. CCS Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens
2024	A*	`conf`	Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. SP Fritz Alder, Lesly-Ann Daniel, David F. Oswald, Frank Piessens, Jo Van Bulck
2024	J	`jnl`	Side-Channel Attacks: A Short Tour. IEEE Secur. Priv. Frank Piessens, Paul C. van Oorschot
2023	A*	`conf`	AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. USENIX Security Symposium Scott Constable, Jo Van Bulck, Xiang Cheng, Yuan Xiao, Cedric Xing, Ilya Alexandrovich, Taesoo Kim, Frank Piessens, Mona Vij, Mark Silberstein
2023	A	`conf`	CHERI-TrEE: Flexible enclaves on capability machines. EuroS&P Thomas Van Strydonck, Job Noorman, Jennifer Jackson, Leonardo Alves Dias, Robin Vanderstraeten, David F. Oswald, Frank Piessens, Dominique Devriese
2023	J	`jnl`	End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. ACM Trans. Priv. Secur. Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
2023	A	`conf`	MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling. EuroS&P Marton Bognar, Hans Winderix, Jo Van Bulck, Frank Piessens
2023	J	`jnl`	ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). CoRR Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023	A*	`conf`	ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. USENIX Security Symposium Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
2023	A	`conf`	ShowTime: Amplifying Arbitrary CPU Timing Side Channels. AsiaCCS Antoon Purnal, Marton Bognar, Frank Piessens, Ingrid Verbauwhede
2023	J	`jnl`	Transient Execution Attacks. IEEE Secur. Priv. Frank Piessens
2022	J	`jnl`	End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs. CoRR Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
2022	J	`jnl`	Faulty Point Unit: ABI Poisoning Attacks on Trusted Execution Environments. DTRAP Fritz Alder, Jo Van Bulck, Jesse Spielman, David F. Oswald, Frank Piessens
2022	A*	`conf`	Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures. SP Marton Bognar, Jo Van Bulck, Frank Piessens
2022	A	`conf`	Proving full-system security properties under multiple attacker models on capability machines. CSF Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
2022	J	`jnl`	Two Parametricities Versus Three Universal Types. ACM Trans. Program. Lang. Syst. Dominique Devriese, Marco Patrignani, Frank Piessens
2021	B	`conf`	Abstract Congruence Criteria for Weak Bisimilarity. MFCS Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
2021	A*	`conf`	Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. CCS Fritz Alder, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
2021	J	`jnl`	Automated Fuzzing of Automotive Control Units. CoRR Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
2021	A	`conf`	CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. CSF Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
2021	A	`conf`	Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. EuroS&P Hans Winderix, Jan Tobias Mühlberg, Frank Piessens
2021	J	`jnl`	Linear capabilities for fully abstract compilation of separation-logic-verified code. J. Funct. Program. Thomas Van Strydonck, Frank Piessens, Dominique Devriese
2021	A*	`conf`	POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. CCS Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Frank Piessens, Jan Tobias Mühlberg
2021	J	`jnl`	Robust authentication for automotive control networks through covert channels. Comput. Networks Stien Vanderhallen, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
2021	J	`jnl`	Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020	—	`conf`	A Categorical Approach to Secure Compilation. CMCS Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
2020	J	`jnl`	A categorical approach to secure compilation. CoRR Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
2020	J	`jnl`	Abstract Congruence Criteria for Weak Bisimilarity. CoRR Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
2020	J	`jnl`	CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. CoRR Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
2020	J	`jnl`	CopyCat: Controlled Instruction-Level Attacks on Enclaves for Maximal Key Extraction. CoRR Daniel Moghimi, Jo Van Bulck, Nadia Heninger, Frank Piessens, Berk Sunar
2020	A*	`conf`	CopyCat: Controlled Instruction-Level Attacks on Enclaves. USENIX Security Symposium Daniel Moghimi, Jo Van Bulck, Nadia Heninger, Frank Piessens, Berk Sunar
2020	A	`conf`	Faulty Point Unit: ABI Poisoning Attacks on Intel SGX. ACSAC Fritz Alder, Jo Van Bulck, David F. Oswald, Frank Piessens
2020	J	`jnl`	Gavial: Programming the web with multi-tier FRP. CoRR Bob Reynders, Frank Piessens, Dominique Devriese
2020	J	`jnl`	Gavial: Programming the web with multi-tier FRP. Art Sci. Eng. Program. Bob Reynders, Frank Piessens, Dominique Devriese
2020	A*	`conf`	LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. SP Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yuval Yarom, Berk Sunar, Daniel Gruss, Frank Piessens
2020	J	`jnl`	Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble. IEEE Secur. Priv. Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck, Frank Piessens, Daniel Gruss
2020	A*	`conf`	Plundervolt: Software-based Fault Injection Attacks against Intel SGX. SP Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck, Daniel Gruss, Frank Piessens
2020	A	`conf`	Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020	J	`jnl`	Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020	—	`conf`	Secure End-to-End Sensing in Supply Chains. CNS Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle
2020	—	`conf`	Security across abstraction layers: old and new examples. EuroS&P Workshops Frank Piessens
2019	J	`jnl`	A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries. Secur. Commun. Networks Neline van Ginkel, Willem De Groef, Fabio Massacci, Frank Piessens
2019	A*	`conf`	A Systematic Evaluation of Transient Execution Attacks and Defenses. USENIX Security Symposium Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, Daniel Gruss
2019	A*	`conf`	A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes. CCS Jo Van Bulck, David F. Oswald, Eduard Marin, Abdulla Aldoseri, Flavio D. Garcia, Frank Piessens
2019	—	`conf`	Automated Fuzzing of Automotive Control Units. SIoT Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
2019	J	`jnl`	Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow. IEEE Micro Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx
2019	A*	`conf`	Fallout: Leaking Data on Meltdown-resistant CPUs. CCS Claudio Canella, Daniel Genkin, Lukas Giner, Daniel Gruss, Moritz Lipp, Marina Minkin, Daniel Moghimi, Frank Piessens, Michael Schwarz, Berk Sunar, Jo Van Bulck, Yuval Yarom
2019	J	`jnl`	Fallout: Reading Kernel Writes From User Space. CoRR Marina Minkin, Daniel Moghimi, Moritz Lipp, Michael Schwarz, Jo Van Bulck, Daniel Genkin, Daniel Gruss, Frank Piessens, Berk Sunar, Yuval Yarom
2019	—	`conf`	Improving Privacy Through Fast Passive Wi-Fi Scanning. NordSec Frederik Goovaerts, Gunes Acar, Rafael Galvez, Frank Piessens, Mathy Vanhoef
2019	J	`jnl`	Linear capabilities for fully abstract compilation of separation-logic-verified code. Proc. ACM Program. Lang. Thomas Van Strydonck, Frank Piessens, Dominique Devriese
2019	Misc	`conf`	Securely deploying distributed computation systems on peer-to-peer networks. SAC Kobe Vrancken, Frank Piessens, Raoul Strackx
2019	A	`conf`	Temporal Safety for Stack Allocated Memory on Capability Machines. CSF Stelios Tsampas, Dominique Devriese, Frank Piessens
2019	—	`conf`	Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. TIS@CCS Frank Piessens
2018	J	`jnl`	A Systematic Evaluation of Transient Execution Attacks and Defenses. CoRR Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, Daniel Gruss
2018	A*	`conf`	Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. USENIX Security Symposium Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx
2018	A*	`conf`	Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. IEEE Symposium on Security and Privacy Minh Ngo, Frank Piessens, Tamara Rezk
2018	A*	`conf`	Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic. CCS Jo Van Bulck, Frank Piessens, Raoul Strackx
2018	—	`conf`	Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution. ESSoS Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx
2018	—	`conf`	Operating Channel Validation: Preventing Multi-Channel Man-in-the-Middle Attacks Against Protected Wi-Fi Networks. WISEC Mathy Vanhoef, Nehru Bhandaru, Thomas Derham, Ido Ouzieli, Frank Piessens
2018	J	`jnl`	Parametricity versus the universal type. Proc. ACM Program. Lang. Dominique Devriese, Marco Patrignani, Frank Piessens
2018	—	`conf`	Prudent Design Principles for Information Flow Control. PLAS@CCS Iulia Bastys, Frank Piessens, Andrei Sabelfeld
2018	A*	`conf`	Release the Kraken: New KRACKs in the 802.11 Standard. CCS Mathy Vanhoef, Frank Piessens
2018	—	`conf`	Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. Programming Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens
2018	J	`jnl`	Secure Compilation (Dagstuhl Seminar 18201). Dagstuhl Reports Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
2018	—	`conf`	Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives. WOOT @ USENIX Security Symposium Mathy Vanhoef, Frank Piessens
2018	—	`conf`	Tracking Information Flow via Delayed Output - Addressing Privacy in IoT and Emailing Apps. NordSec Iulia Bastys, Frank Piessens, Andrei Sabelfeld
2017	—	`conf`	A Principled Approach to Tracking Information Flow in the Presence of Libraries. POST Daniel Hedin, Alexander Sjösten, Frank Piessens, Andrei Sabelfeld
2017	—	`conf`	Authentic Execution of Distributed Event-Driven Applications with a Small TCB. STM Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2017	B	`conf`	Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. APLAS Neline van Ginkel, Raoul Strackx, Frank Piessens
2017	A	`conf`	Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing. AsiaCCS Mathy Vanhoef, Domien Schepers, Frank Piessens
2017	—	`conf`	Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. TFP Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens
2017	—	`conf`	Experience Report: Functional Reactive Programming and the DOM. Programming Bob Reynders, Dominique Devriese, Frank Piessens
2017	A	`conf`	Exploring the Ecosystem of Malicious Domain Registrations in the .eu TLD. RAID Thomas Vissers, Jan Spooren, Pieter Agten, Dirk Jumpertz, Peter Janssen, Marc Van Wesemael, Frank Piessens, Wouter Joosen, Lieven Desmet
2017	—	`conf`	FRP IoT modules as a Scala DSL. REBLS@SPLASH Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens
2017	—	`conf`	Hardening Intel SGX Applications: Balancing Concerns. SysTEX@SOSP Kobe Vrancken, Frank Piessens, Raoul Strackx
2017	A*	`conf`	Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2. CCS Mathy Vanhoef, Frank Piessens
2017	J	`jnl`	Modular, Fully-abstract Compilation by Approximate Back-translation. CoRR Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
2017	J	`jnl`	Modular, Fully-abstract Compilation by Approximate Back-translation. Log. Methods Comput. Sci. Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
2017	—	`conf`	SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control. SysTEX@SOSP Jo Van Bulck, Frank Piessens, Raoul Strackx
2017	J	`jnl`	Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. ACM Trans. Priv. Secur. Job Noorman, Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens, Pieter Maene, Bart Preneel, Ingrid Verbauwhede, Johannes Götzfried, Tilo Müller, Felix C. Freiling
2017	A*	`conf`	Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution. USENIX Security Symposium Jo Van Bulck, Nico Weichbrodt, Rüdiger Kapitza, Frank Piessens, Raoul Strackx
2017	J	`jnl`	The Heisenberg Defense: Proactively Defending SGX Enclaves against Page-Table-Based Side-Channel Attacks. CoRR Raoul Strackx, Frank Piessens
2017	A	`conf`	VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. ACSAC Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens
2016	—	`conf`	All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. USENIX ATC Mathy Vanhoef, Frank Piessens
2016	C	`conf`	An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. WISTP Jan Tobias Mühlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens
2016	A*	`conf`	Ariadne: A Minimal Approach to State Continuity. USENIX Security Symposium Raoul Strackx, Frank Piessens
2016	—	`conf`	Developing Secure SGX Enclaves: New Challenges on the Horizon. SysTEX@Middleware Raoul Strackx, Frank Piessens
2016	J	`jnl`	Eliminating dependent pattern matching without K. J. Funct. Program. Jesper Cockx, Dominique Devriese, Frank Piessens
2016	Misc	`conf`	Ensuring endpoint authenticity in WebRTC peer-to-peer communication. SAC Willem De Groef, Deepak Subramanian, Martin Johns, Frank Piessens, Lieven Desmet
2016	A*	`conf`	Fully-abstract compilation by approximate back-translation. POPL Dominique Devriese, Marco Patrignani, Frank Piessens
2016	—	`conf`	Let's Face It: Faceted Values for Taint Tracking. ESORICS (1) Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld
2016	—	`conf`	Mitigating Password Database Breaches with Intel SGX. SysTEX@Middleware Helena Brekalo, Raoul Strackx, Frank Piessens
2016	J	`jnl`	On Modular and Fully-Abstract Compilation - Technical Appendix. CoRR Marco Patrignani, Dominique Devriese, Frank Piessens
2016	A	`conf`	On Modular and Fully-Abstract Compilation. CSF Marco Patrignani, Dominique Devriese, Frank Piessens
2016	A*	`conf`	Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys. USENIX Security Symposium Mathy Vanhoef, Frank Piessens
2016	—	`ed.`	Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings POST Frank Piessens, Luca Viganò
2016	A	`conf`	Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. EuroS&P Dominique Devriese, Lars Birkedal, Frank Piessens
2016	A*	`conf`	Request and Conquer: Exposing Cross-Origin Resource Size. USENIX Security Symposium Tom van Goethem, Mathy Vanhoef, Frank Piessens, Wouter Joosen
2016	—	`conf`	Security Guarantees for the Execution Infrastructure of Software Applications. SecDev Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx
2016	A	`conf`	Software security: Vulnerabilities and countermeasures for two attacker models. DATE Frank Piessens, Ingrid Verbauwhede
2016	—	`conf`	Towards availability and real-time guarantees for protected module architectures. MODULARITY (Companion) Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2016	A	`conf`	Unifiers as equivalences: proof-relevant unification of dependently typed data. ICFP Jesper Cockx, Dominique Devriese, Frank Piessens
2016	A	`conf`	Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms. AsiaCCS Mathy Vanhoef, Célestin Matte, Mathieu Cunche, Leonardo S. Cardoso, Frank Piessens
2015	A*	`conf`	All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. USENIX Security Symposium Mathy Vanhoef, Frank Piessens
2015	—	`ed.`	Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings ESSoS Frank Piessens, Juan Caballero, Nataliia Bielova
2015	J	`jnl`	Featherweight VeriFast. Log. Methods Comput. Sci. Frédéric Vogels, Bart Jacobs, Frank Piessens
2015	—	`conf`	Fixing non-determinism. IFL Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens
2015	B	`conf`	Generating safe boundary APIs between typed EDSLs and their environments. GPCE Bob Reynders, Dominique Devriese, Frank Piessens
2015	B	`conf`	Learning Assertions to Verify Linked-List Programs. SEFM Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
2015	—	`conf`	Lightweight and Flexible Trust Assessment Modules for the Internet of Things. ESORICS (1) Jan Tobias Mühlberg, Job Noorman, Frank Piessens
2015	J	`jnl`	Policy ignorant caller-side inline reference monitoring. Int. J. Softw. Tools Technol. Transf. Dries Vanoverberghe, Frank Piessens
2015	J	`jnl`	Protected Web Components: Hiding Sensitive Information in the Shadows. IT Prof. Philippe De Ryck, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen
2015	A*	`conf`	Runtime Enforcement of Security Policies on Black Box Reactive Programs. POPL Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens
2015	J	`jnl`	Salus: Kernel Support for Secure Process Compartments. EAI Endorsed Trans. Security Safety Raoul Strackx, Pieter Agten, Niels Avonds, Frank Piessens
2015	Misc	`conf`	SecSess: keeping your session tucked away in your browser. SAC Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen
2015	J	`jnl`	Secure Compilation to Protected Module Architectures. ACM Trans. Program. Lang. Syst. Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
2015	C	`conf`	Secure Resource Sharing for Embedded Protected Module Architectures. WISTP Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2015	J	`jnl`	Security monitor inlining and certification for multithreaded Java. Math. Struct. Comput. Sci. Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
2015	A*	`conf`	Seven Months' Worth of Mistakes: A Longitudinal Study of Typosquatting Abuse. NDSS Pieter Agten, Wouter Joosen, Frank Piessens, Nick Nikiforakis
2015	J	`jnl`	Solving the VerifyThis 2012 challenges with VeriFast. Int. J. Softw. Tools Technol. Transf. Bart Jacobs, Jan Smans, Frank Piessens
2015	A*	`conf`	Sound Modular Verification of C Code Executing in an Unverified Context. POPL Pieter Agten, Bart Jacobs, Frank Piessens
2015	A	`conf`	Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. ESOP Willem Penninckx, Bart Jacobs, Frank Piessens
2014	A	`conf`	Advanced Wi-Fi attacks using commodity hardware. ACSAC Mathy Vanhoef, Frank Piessens
2014	Misc	`conf`	Client Side Web Session Integrity as a Non-interference Property. ICISS Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens
2014	A*	`conf`	Clubbing Seals: Exploring the Ecosystem of Third-party Security Seals. CCS Tom van Goethem, Frank Piessens, Wouter Joosen, Nick Nikiforakis
2014	—	`ed.`	Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings ESSoS Jan Jürjens, Frank Piessens, Nataliia Bielova
2014	J	`jnl`	Evolution of Security Engineering Artifacts: A State of the Art Survey. Int. J. Secur. Softw. Eng. Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe, Elizabeta Fourneret, Matthias Gander, Bjørnar Solhaug, Ruth Breu
2014	A	`conf`	ICE: a passive, high-speed, state-continuity scheme. ACSAC Raoul Strackx, Bart Jacobs, Frank Piessens
2014	A	`conf`	Monkey-in-the-browser: malware and vulnerabilities in augmented browsing script markets. AsiaCCS Steven Van Acker, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen
2014	—	`conf`	Multi-Tier Functional Reactive Programming for the Web. Onward! Bob Reynders, Dominique Devriese, Frank Piessens
2014	A	`conf`	NodeSentry: least-privilege library integration for server-side JavaScript. ACSAC Willem De Groef, Fabio Massacci, Frank Piessens
2014	J	`jnl`	On the Workings and Current Practices of Web-Based Device Fingerprinting. IEEE Secur. Priv. Nick Nikiforakis, Alexandros Kapravelos, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna
2014	J	`jnl`	On the effectiveness of virtualization-based security. CoRR Francesco Gadaleta, Raoul Strackx, Nick Nikiforakis, Frank Piessens, Wouter Joosen
2014	A	`conf`	Overlapping and Order-Independent Patterns - Definitional Equality for All. ESOP Jesper Cockx, Frank Piessens, Dominique Devriese
2014	C	`conf`	Partial Type Signatures for Haskell. PADL Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
2014	A	`conf`	Pattern matching without K. ICFP Jesper Cockx, Dominique Devriese, Frank Piessens
2014	—	`book`	Primer on Client-Side Web Security Philippe De Ryck, Lieven Desmet, Frank Piessens, Martin Johns
2014	—	`conf`	Secure interrupts on low-end microcontrollers. ASAP Ruan de Clercq, Frank Piessens, Dries Schellekens, Ingrid Verbauwhede
2014	J	`jnl`	Secure multi-execution of web scripts: Theory and practice. J. Comput. Secur. Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens
2014	J	`jnl`	Software verification with VeriFast: Industrial case studies. Sci. Comput. Program. Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
2014	C	`conf`	Soundsquatting: Uncovering the Use of Homophones in Domain Squatting. ISC Nick Nikiforakis, Marco Balduzzi, Lieven Desmet, Frank Piessens, Wouter Joosen
2014	A	`conf`	Stateful Declassification Policies for Event-Driven Programs. CSF Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk
2014	A*	`conf`	Stranger danger: exploring the ecosystem of ad-based URL shortening services. WWW Nick Nikiforakis, Federico Maggi, Gianluca Stringhini, M. Zubair Rafique, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna, Stefano Zanero
2013	A*	`conf`	Bitsquatting: exploiting bit-flips for fun, or profit? WWW Nick Nikiforakis, Steven Van Acker, Wannes Meert, Lieven Desmet, Frank Piessens, Wouter Joosen
2013	J	`jnl`	CPM: Masking Code Pointers to Prevent Code Injection Attacks. ACM Trans. Inf. Syst. Secur. Pieter Philippaerts, Yves Younan, Stijn Muylle, Frank Piessens, Sven Lachmund, Thomas Walter
2013	A*	`conf`	Cookieless Monster: Exploring the Ecosystem of Web-Based Device Fingerprinting. IEEE Symposium on Security and Privacy Nick Nikiforakis, Alexandros Kapravelos, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna
2013	A*	`conf`	FPDetective: dusting the web for fingerprinters. CCS Gunes Acar, Marc Juarez, Nick Nikiforakis, Claudia Díaz, Seda F. Gürses, Frank Piessens, Bart Preneel
2013	C	`conf`	Fixing idioms: a recursion primitive for applicative DSLs. PEPM Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens
2013	B	`conf`	HeapSentry: Kernel-Assisted Protection against Heap Overflows. DIMVA Nick Nikiforakis, Frank Piessens, Wouter Joosen
2013	—	`conf`	Information Flow Control for Web Scripts. FOSAD Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens
2013	A*	`conf`	Monadic abstract interpreters. PLDI Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
2013	A	`conf`	Practical verification of WPA-TKIP vulnerabilities. AsiaCCS Mathy Vanhoef, Frank Piessens
2013	—	`conf`	Protected Software Module Architectures. ISSE Raoul Strackx, Job Noorman, Ingrid Verbauwhede, Bart Preneel, Frank Piessens
2013	C	`conf`	Salus: Non-hierarchical Memory Access Rights to Enforce the Principle of Least Privilege. SecureComm Niels Avonds, Raoul Strackx, Pieter Agten, Frank Piessens
2013	A*	`conf`	Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. USENIX Security Symposium Job Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony Van Herrewege, Christophe Huygens, Bart Preneel, Ingrid Verbauwhede, Frank Piessens
2013	B	`conf`	Secure Compilation of Object-Oriented Components to Protected Module Architectures. APLAS Marco Patrignani, Dave Clarke, Frank Piessens
2013	B	`conf`	State Coverage: An Empirical Analysis Based on a User Study. SOFSEM Dries Vanoverberghe, Emma Eyckmans, Frank Piessens
2013	A	`conf`	Typed syntactic meta-programming. ICFP Dominique Devriese, Frank Piessens
2013	—	`ch.`	VeriFast for Java: A Tutorial. Aliasing in Object-Oriented Programming Jan Smans, Bart Jacobs, Frank Piessens
2012	C	`conf`	A Security Analysis of Emerging Web Standards - HTML5 and Friends, from Specification to Implementation. SECRYPT Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen
2012	A	`conf`	DEMACRO: Defense against Malicious Cross-Domain Requests. RAID Sebastian Lekies, Nick Nikiforakis, Walter Tighzert, Frank Piessens, Martin Johns
2012	A	`conf`	Exploring the Ecosystem of Referrer-Anonymizing Services. Privacy Enhancing Technologies Nick Nikiforakis, Steven Van Acker, Frank Piessens, Wouter Joosen
2012	A*	`conf`	Fides: selectively hardening software application components against kernel-level or process-level malware. CCS Raoul Strackx, Frank Piessens
2012	J	`jnl`	Finally tagless observable recursion for an abstract grammar model. J. Funct. Program. Dominique Devriese, Frank Piessens
2012	A	`conf`	FlashOver: automated discovery of cross-site scripting vulnerabilities in rich internet applications. AsiaCCS Steven Van Acker, Nick Nikiforakis, Lieven Desmet, Wouter Joosen, Frank Piessens
2012	A*	`conf`	FlowFox: a web browser with flexible and precise information flow control. CCS Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens
2012	J	`jnl`	Implicit dynamic frames. ACM Trans. Program. Lang. Syst. Jan Smans, Bart Jacobs, Frank Piessens
2012	A	`conf`	JSand: complete client-side sandboxing of third-party JavaScript without browser modifications. ACSAC Pieter Agten, Steven Van Acker, Yoran Brondsema, Phu H. Phung, Lieven Desmet, Frank Piessens
2012	—	`conf`	PESAP: A Privacy Enhanced Social Application Platform. SocialCom/PASSAT Tom Reynaert, Willem De Groef, Dominique Devriese, Lieven Desmet, Frank Piessens
2012	Misc	`conf`	ProtoLeaks: A Reliable and Protocol-Independent Network Covert Channel. ICISS Arne Swinnen, Raoul Strackx, Pieter Philippaerts, Frank Piessens
2012	C	`conf`	Recent Developments in Low-Level Software Security. WISTP Pieter Agten, Nick Nikiforakis, Raoul Strackx, Willem De Groef, Frank Piessens
2012	J	`jnl`	Runtime countermeasures for code injection attacks against C and C++ programs. ACM Comput. Surv. Yves Younan, Wouter Joosen, Frank Piessens
2012	A	`conf`	Secure Compilation to Modern Processors. CSF Pieter Agten, Raoul Strackx, Bart Jacobs, Frank Piessens
2012	—	`conf`	Secure Multi-Execution through Static Program Transformation. FMOODS/FORTE Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
2012	C	`conf`	Serene: Self-Reliant Client-Side Protection against Session Fixation. DAIS Philippe De Ryck, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen
2012	—	`conf`	Sound Formal Verification of Linux's USB BP Keyboard Driver. NASA Formal Methods Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
2012	B	`conf`	State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
2012	—	`conf`	There Is Safety in Numbers: Preventing Control-Flow Hijacking by Duplication. NordSec Job Noorman, Nick Nikiforakis, Frank Piessens
2012	A*	`conf`	You are what you include: large-scale evaluation of remote javascript inclusions. CCS Nick Nikiforakis, Luca Invernizzi, Alexandros Kapravelos, Steven Van Acker, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna
2011	—	`conf`	Annotation Inference for Separation Logic Based Verifiers. FMOODS/FORTE Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans
2011	A	`conf`	Automatic and Precise Client-Side Protection against CSRF Attacks. ESORICS Philippe De Ryck, Lieven Desmet, Wouter Joosen, Frank Piessens
2011	—	`conf`	Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation. Formal Aspects in Security and Trust Willem De Groef, Dominique Devriese, Frank Piessens
2011	B	`conf`	Code Pointer Masking: Hardening Applications against Code Injection Attacks. DIMVA Pieter Philippaerts, Yves Younan, Stijn Muylle, Frank Piessens, Sven Lachmund, Thomas Walter
2011	C	`conf`	Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. PADL Dominique Devriese, Frank Piessens
2011	A*	`conf`	Expressive modular fine-grained concurrency specification. POPL Bart Jacobs, Frank Piessens
2011	J	`jnl`	Filter-resistant code injection on ARM. J. Comput. Virol. Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen, Sven Lachmund, Thomas Walter
2011	—	`conf`	Information flow enforcement in monadic libraries. TLDI Dominique Devriese, Frank Piessens
2011	A	`conf`	On the bright side of type classes: instance arguments in Agda. ICFP Dominique Devriese, Frank Piessens
2011	—	`conf`	Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass Soldal Lund, Sébastien Madelénat, Jan Tobias Mühlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjørnar Solhaug, Sven Wenzel
2011	B	`conf`	Reactive non-interference for a browser model. NSS Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens
2011	J	`jnl`	Special Section on Formal Techniques for Java-like Programs. J. Object Technol. Frank Piessens, Bart Jacobs, Gary T. Leavens
2011	B	`conf`	The 1st Verified Software Competition: Experience Report. FM Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
2011	J	`jnl`	The Belgian Electronic Identity Card: a Verification Case Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
2011	B	`conf`	Theoretical Aspects of Compositional Symbolic Execution. FASE Dries Vanoverberghe, Frank Piessens
2011	—	`conf`	VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. NASA Formal Methods Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
2011	B	`conf`	Verification of Unloadable Modules. FM Bart Jacobs, Jan Smans, Frank Piessens
2011	A	`conf`	WebJail: least-privilege integration of third-party components in web mashups. ACSAC Steven Van Acker, Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen
2010	B	`conf`	A Quick Tour of the VeriFast Program Verifier. APLAS Bart Jacobs, Jan Smans, Frank Piessens
2010	Misc	`conf`	A machine-checked soundness proof for an efficient verification condition generator. SAC Frédéric Vogels, Bart Jacobs, Frank Piessens
2010	J	`jnl`	Automatic verification of Java programs with dynamic frames. Formal Aspects Comput. Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
2010	—	`conf`	CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests. ESSoS Philippe De Ryck, Lieven Desmet, Thomas Heyman, Frank Piessens, Wouter Joosen
2010	C	`conf`	Efficient Isolation of Trusted Subsystems in Embedded Systems. SecureComm Raoul Strackx, Frank Piessens, Bart Preneel
2010	C	`conf`	Efficient and Effective Buffer Overflow Protection on ARM Processors. WISTP Raoul Strackx, Yves Younan, Pieter Philippaerts, Frank Piessens
2010	—	`conf`	Heap-Dependent Expressions in Separation Logic. FMOODS/FORTE Jan Smans, Bart Jacobs, Frank Piessens
2010	J	`jnl`	Improving Memory Management Security for C and C++. Int. J. Secur. Softw. Eng. Yves Younan, Wouter Joosen, Frank Piessens, Hans Van den Eynden
2010	—	`ch.`	Low-Level Software Security by Example. Handbook of Information and Communication Security Úlfar Erlingsson, Yves Younan, Frank Piessens
2010	A*	`conf`	Noninterference through Secure Multi-execution. IEEE Symposium on Security and Privacy Dominique Devriese, Frank Piessens
2010	A	`conf`	PAriCheck: an efficient pointer arithmetic checker for C programs. AsiaCCS Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, Wouter Joosen
2010	J	`jnl`	Provably correct inline monitoring for multithreaded Java-like programs. J. Comput. Secur. Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
2010	—	`conf`	Security of Web Mashups: A Survey. NordSec Philippe De Ryck, Maarten Decat, Lieven Desmet, Frank Piessens, Wouter Joosen
2010	Misc	`conf`	ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows. ICISS Steven Van Acker, Nick Nikiforakis, Pieter Philippaerts, Yves Younan, Frank Piessens
2009	B	`conf`	A Machine Checked Soundness Proof for an Intermediate Verification Language. SOFSEM Frédéric Vogels, Bart Jacobs, Frank Piessens
2009	—	`conf`	A Security Architecture for Web 2.0 Applications. Future Internet Assembly Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe
2009	—	`conf`	Breaking the memory secrecy assumption. EUROSEC Raoul Strackx, Yves Younan, Pieter Philippaerts, Frank Piessens, Sven Lachmund, Thomas Walter
2009	A	`conf`	Failboxes: Provably Safe Exception Handling. ECOOP Bart Jacobs, Frank Piessens
2009	A*	`conf`	Filter-resistant code injection on ARM. CCS Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen, Sven Lachmund, Thomas Walter
2009	A	`conf`	Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. ECOOP Jan Smans, Bart Jacobs, Frank Piessens
2009	B	`conf`	Protecting Global and Static Variables from Buffer Overflow Attacks. ARES Yves Younan, Frank Piessens, Wouter Joosen
2009	—	`conf`	Report: Extensibility and Implementation Independence of the .NET Cryptographic API. ESSoS Pieter Philippaerts, Cédric Boon, Frank Piessens
2009	—	`ch.`	Security Middleware for Mobile Applications. Middleware for Network Eccentric and Mobile Applications Bart De Win, Tom Goovaerts, Wouter Joosen, Pieter Philippaerts, Frank Piessens, Yves Younan
2009	A	`conf`	Security Monitor Inlining for Multithreaded Java. ECOOP Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
2009	J	`jnl`	Security enforcement aware software development. Inf. Softw. Technol. Dries Vanoverberghe, Frank Piessens
2009	A	`conf`	Test Input Generation for Programs with Pointers. TACAS Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
2009	—	`conf`	The S3MS.NET Run Time Monitor: Tool Demonstration. BYTECODE@ETAPS Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
2008	—	`conf`	A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. FMOODS Dries Vanoverberghe, Frank Piessens
2008	J	`jnl`	A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst. Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
2008	B	`conf`	An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
2008	A	`conf`	Generics of a higher kind. OOPSLA Adriaan Moors, Frank Piessens, Martin Odersky
2008	J	`jnl`	Preface. Sci. Comput. Program. Fabio Massacci, Frank Piessens, Sjouke Mauw
2008	—	`ed.`	Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, REM@ESORICS 2007, Dresden, Germany, September 27, 2007 REM@ESORICS Fabio Massacci, Frank Piessens
2008	J	`jnl`	Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies. IEEE Trans. Software Eng. Lieven Desmet, Pierre Verbaeten, Wouter Joosen, Frank Piessens
2008	—	`conf`	Security-By-Contract for the Future Internet. FIS Fabio Massacci, Frank Piessens, Ida Sri Rejeki Siahaan
2008	J	`jnl`	Security-by-contract on the .NET platform. Inf. Secur. Tech. Rep. Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe
2008	—	`conf`	VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. FMOODS Jan Smans, Bart Jacobs, Frank Piessens
2007	—	`conf`	A flexible security architecture to support third-party applications on mobile devices. CSAW Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
2007	J	`jnl`	Inspector Methods for State Abstraction. J. Object Technol. Bart Jacobs, Frank Piessens
2007	—	`conf`	Preface. REM@ESORICS Fabio Massacci, Frank Piessens
2007	B	`conf`	Sound reasoning about unchecked exceptions. SEFM Bart Jacobs, Peter Müller, Frank Piessens
2007	—	`conf`	Supporting Security Monitor-Aware Development. SESS@ICSE Dries Vanoverberghe, Frank Piessens
2006	J	`jnl`	A Modular Access Control Service for Supporting Application-Specific Policies. IEEE Distributed Syst. Online Tine Verhanneman, Frank Piessens, Bart De Win, Eddy Truyen, Wouter Joosen
2006	—	`conf`	A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. TV@FLoC Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006	C	`conf`	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006	—	`conf`	An object-oriented approach to datatype-generic programming. ICFP-WGP Adriaan Moors, Frank Piessens, Wouter Joosen
2006	—	`conf`	Bridging the gap between web application firewalls and web applications. FMSE Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten
2006	C	`conf`	Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic. ICICS Yves Younan, Wouter Joosen, Frank Piessens
2006	A	`conf`	Extended Protection against Stack Smashing Attacks without Performance Loss. ACSAC Yves Younan, Davide Pozza, Frank Piessens, Wouter Joosen
2006	—	`conf`	How secure is AOP and what can we do about it? SESS@ICSE Bart De Win, Frank Piessens, Wouter Joosen
2006	J	`jnl`	Static Verification of Code Access Security Policy Compliance of .NET Applications. J. Object Technol. Jan Smans, Bart Jacobs, Frank Piessens
2006	A	`conf`	Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. SC Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten
2006	—	`conf`	VC generation for functional behavior and non-interference of iterators. SAVCBS@FSE Bart Jacobs, Frank Piessens, Wolfram Schulte
2005	—	`conf`	A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks. IWIA Yves Younan, Wouter Joosen, Frank Piessens
2005	—	`conf`	Requirements traceability to support evolution of access control. SESS@ICSE Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen
2005	J	`jnl`	Requirements traceability to support evolution of access control. ACM SIGSOFT Softw. Eng. Notes Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen
2005	B	`conf`	Safe Concurrency for Aggregate Objects with Invariants. SEFM Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
2005	—	`conf`	Towards a unifying view on security contracts. SESS@ICSE Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen
2005	J	`jnl`	Towards a unifying view on security contracts. ACM SIGSOFT Softw. Eng. Notes Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen
2005	A	`conf`	Uniform Application-level Access Control Enforcement of Organizationwide Policies. ACSAC Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen
2004	—	`conf`	A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components. Communications and Multimedia Security Lieven Desmet, Bart Jacobs, Frank Piessens, Wouter Joosen
2004	J	`jnl`	Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature. J. Object Technol. Frank Piessens, Bart Jacobs, Eddy Truyen, Wouter Joosen
2004	—	`conf`	Threat Modelling for Web Services Based Web Applications. Communications and Multimedia Security Lieven Desmet, Bart Jacobs, Frank Piessens, Wouter Joosen
2004	—	`conf`	Towards preserving correctness in self-managed software systems. WOSS Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten
2003	C	`conf`	Adaptable Access Control Policies for Medical Information Systems. DAIS Tine Verhanneman, Liesbeth Jaco, Bart De Win, Frank Piessens, Wouter Joosen
2003	Misc	`conf`	Secure Vickrey Auctions without a Trusted Third Party. SEC Bart De Decker, Gregory Neven, Frank Piessens
2003	J	`jnl`	Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. IEE Proc. Softw. Frank Piessens, Bart Jacobs, Wouter Joosen
2002	J	`jnl`	A survey of customizability in operating systems research. ACM Comput. Surv. G. Denys, Frank Piessens, Frank Matthijs
2001	—	`ed.`	Advances in Network and Distributed Systems Security, IFIP TC11 WG11.4 First Annual Working Conference on Network Security, November 26-27, 2001, Leuven, Belgium Network Security Bart De Decker, Frank Piessens, Jan Smits, Els Van Herreweghen
2001	—	`conf`	Developing secure software. A survey and classification of common software vulnerabilities. IICIS Frank Piessens, Bart De Decker, Bart De Win
2001	Misc	`conf`	On Securely Scheduling a Meeting. SEC T. Herlea, Joris Claessens, Bart Preneel, Gregory Neven, Frank Piessens, Bart De Decker
2001	C	`conf`	Second Price Auctions - A Case Study of Secure Distributed Computating. DAIS Bart De Decker, Gregory Neven, Frank Piessens, Erik Van Hoeymissen
2000	Misc	`conf`	On the Practical Feasibiltiy of Secure Distributed Computing: A Case Study. SEC Gregory Neven, Frank Piessens, Bart De Decker
2000	—	`conf`	Semi-trusted Hosts and Mobile Agents: Enabling Secure Distributed Computations. MATA Bart De Decker, Frank Piessens, Erik Van Hoeymissen, Gregory Neven
2000	C	`conf`	Universal Arrow Foundations for Visual Modeling. Diagrams Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson
1999	—	`ch.`	What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. Behavioral Specifications of Businesses and Systems Zinovy Diskin, Boris Kadish, Frank Piessens
1997	—	`conf`	Selective Attribute Elimination for Categorial Data Specifications. AMAST Frank Piessens, Eric Steegmans
1996	—	`conf`	A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. JICSLP Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye
1995	—	`conf`	Using Event Calculus for Protocol Specification: An Experiment. Deductive Databases / Abduction in Deductive Databases Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye
1994	B	`conf`	Canonical Forms for Data-Specifications. CSL Frank Piessens, Eric Steegmans
1993	—	`conf`	Interconnecting domains with heterogeneous key distribution and authentication protocols. S&P Frank Piessens, Bart De Decker, Phil Janson