Publications

Journal Articles

Scalagna 0.1: towards multi-tier programming with Scala and Scala.js

Bob Reynders and Michael Greefs and Dominique Devriese and Frank Piessens

The Art, Science, and Engineering of Programming, 2, 2018

Search- based tier assignment for optimising offline availability in multi-tier web applications

Laure Philips, Joeri De Koster, Wolfgang De Meuter, and Coen De Roover

The Art, Science, and Engineering of Programming, 2(2), 2018

Implementing a performant scheme interpreter for the web in asm.js

Noah Van Es, Quentin Sti ́evenart, Jens Nicolay, Theo D’Hondt, and Coen De Roover

Elsevier Journal on Computer Languages, Systems and Structures, 49, 2017

A mobile cross-platform actor library for multi-networked mobile applications

Elisa Gonzalez Boix, Kevin De Porre, Wolfgang De Meuter, and Christophe Scholliers

AGERE! State-of-the-Art volume about Programming with Actors, Lecture Notes in Computer Science, 2018

Modular, fully-abstract compilation by approximate back-translation

• Dominique Devriese, Marco Patrignani, Frank Piessens, and Steven Keuchel

Logical Methods in Computer Science, 10 2017

Conference Papers

Putting Order in Strong Eventual Consistency

Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter and Elisa Gonzalez Boixr

Proceedings of the 19th Intl. Conf. Distributed Applications and Interoperable Systems (DAIS 2019)

Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs

Laurent Christophe, Elisa Gonzalez Boix, Wolfgang De Meuter, and Coen De Roover

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 2018

Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution

Jago Gyselinck and Jo Van Bulck and Frank Piessens and Raoul Strackx

Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018

Foreshadow: Extracting the Keys to the Intel {SGX} Kingdom with Transient Out-of-Order Execution

Jo Van Bulck and Marina Minkin and Ofir Weisse and Daniel Genkin and Baris Kasikci and Frank Piessens and Mark Silberstein and Thomas F. Wenisch and Yuval Yarom and Raoul Strackx

27th USENIX Security Symposium, 2018

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements

Minh Ngo and Frank Piessens and Tamara Rezk

2018 IEEE Symposium on Security and Privacy (SP), 2018

Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger

Jeff Horemans and Bob Reynders and Dominique Devriese and Frank Piessens

Trends in Functional Programming - 18th International Symposium, {TFP} 2017, Canterbury, UK

Static taint analysis of event-driven scheme programs

Jonas De Bleser, Quentin Sti ́evenart, Jens Nicolay, and Coen De Roover

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

Extracting executable transformations from distilled code changes

Reinout Stevens and Coen De Roover

Proceedings of the 24th International Conference on Software Analysis, Evolution and Reengineering (SANER17), 2017

Automatically generating secure wrappers for sgx enclaves from separation logic specifications

• Jo Van Bulck, Nico Weichbrodt, Rudiger Kapitza, Frank Piessens, and Raoul Strackx

Proceedings of the 26th USENIX Security Symposium. USENIX Association, 8 2017

A principled approach to tracking information flow in the presence of libraries

Daniel Hedin, Alexander Sj ̈osten, Frank Piessens, and Andrei Sabelfeld

Principles of Security and Trust (POST 2017), pages 49–70, 4 2017

Automatically generating secure wrappers for sgx enclaves from separation logic specifications

Neline van Ginkel, Raoul Strackx, and Frank Piessens

APLAS 2017: Programming Languages and Systems, pages 105–123. Springer International Publishing, 2017

Mining change histories for unknown systematic edits

Tim Molderez, Reinout Stevens, and Coen De Roover

Proceedings of the 14th International Conference on Mining Software Repositories (MSR17), 2017

Linvail: A General-Purpose Platform for Shadow Execution of JavaScript

Laurent Christophe, Elisa Gonzalez Boix, Wolfgang De Meuter, and Coen De Roover

Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Osaka (Japan)

Preprint

Dependence-Driven Delimited CPS Transformation for JavaScript

Laure Philips, Joeri De Koster, Wolfgang De Meuter, and Coen De Roover

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016), Amsterdam (Netherlands)

Preprint

A Performant Scheme Interpreter in asm.js

Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, and Coen De Roover

Proceedings of the 31st ACM Symposium on Applied Computing, Programming Languages Track (SAC 2016), Pisa (Italy)

Preprint

Reasoning about object capabilities with logical relations and effect parametricity

Dominique Devriese, Lars Birkedal, and Frank Piessens

Proceedings of the 2016 IEEE European Symposium on Security and Privacy (EuroS&P), pages 147-162. IEEE, 2016.

Security guarantees for the execution infrastructure of software applications

Frank Piessens, Dominique Devriese, Tobias Muhlberg, and Raoul Strackx

IEEE Cybersecurity Development (SecDev 2016), pages 81–87, 11 2016

Workshop Papers

Concolic Testing of Full-Stack JavaScript Applications

Maarten Vandercammen, Laurent Christophe, Wolfgang De Meuter, and Coen De Roover

Proceedings of the 17th edition of the BElgian-NEtherlands software eVOLution symposium (BENEVOL18), 2018

Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives

Mathy Vanhoef and Frank Piessens

12th USENIX Workshop on Offensive Technologies (WOOT), 2018

Prudent Design Principles for Information Flow Control

Iulia Bastys, Frank Piessens and Andrei Sabelfeld

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security

Experience report: Functional reactive programming and the dom

Bob Reynders, Dominique Devriese, and Frank Piessens

ProWeb. ACM, 4 2017

A practical attack framework for precise enclave execution control

Jo Van Bulck, Frank Piessens, and Raoul Strackx

Workshop on System Software for Trusted Execution (SysTEX 2017). Association for Computing Machinery, 10 2017

Hardening intel sgx applications: Balancing concerns

Kobe Vrancken, Frank Piessens, and Raoul Strackx.

Workshop on System Software for Trusted Execution (SysTEX 2017). Association for Computing Machinery, 10 2017

Employing Run-time Static Analysis to Improve Concolic Execution

Maarten Vandercammen, and Coen De Roover

Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium (BENEVOL17), 2017

Drizzt: Dynamic analysis of distributed JavaScript applications.

Laurent Christophe, Coen De Roover, and Wolfgang De Meuter

Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium (BENEVOL17), 2017

Towards safe enclaves

Neline van Ginkel, Raoul Strackx, Jan Tobias Muhlberg, and Frank Piessens

Proceedings of the 4th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2016), pages 1-16, 2016

Mitigating password database breaches with intel sgx

Helena Brekalo, Raoul Strackx, and Frank Piessens

Proceedings of the 1st Workshop on System Software for Trusted Execution, pages 1–6. ACM, 12 2016

Presentations without formal proceedings

Shared State for Actors: Pass-By-Replication Semantics

Tim Coppieters, Joeri De Koster, and Wolfgang De Meuter

Presented at the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2016), Amsterdam (Netherlands)

Preprint

Verification of Communication in Web Applications

Nathalie Oostvogels, Joeri De Koster, and Wolfgang De Meuter

Presented at the 5th Annual Workshop on Tools for JavaScript Analysis! (JSTools 2016), Rome (Italy)

Preprint

Dissertations

Client- and Server-Side Security Technologies for JavaScript Web Applications

Willem De Groef

Statically Checking Inter-property Constraints and its Applications in Web APIs

Nathalie Oostvogels

Bachelor thesis: Visualizing program execution traces in JavaScript

Jelte De Proft, promoted by Coen De Roover. Technical report, Vrije Universiteit Brussel, 2017

Bachelor thesis: Protecting against password database breaches using intel SGX

Helena Brekalo, promoted by Frank Piessens. Technical report, KU Leuven, 2017

Bachelor thesis: Towards multi-tier time travel debugging for multi-tier ELM

Jeff Horemans, promoted by Frank Piessens. Technical report, KU Leuven, 2017

Bachelor thesis: Scala als een multi-tier programmeertaal

Michael Greefs, promoted by Frank Piessens. Technical report, KU Leuven, 2017

Bachelor thesis: Extending tierless JavaScript with an HTML templating system

Jo De Neve, promoted by Coen De Roover. Technical report, Vrije Universiteit Brussel, 2016

Bachelor thesis: Extending tierless JavaScript with an HTML tem- plating system

Bjarno Oeyen, promoted by Coen De Roover. Technical report, Vrije Universiteit Brussel, 2016