Publications of Frank Piessens
period 2008 - 2013
Articles in internationally reviewed journals
16 references- Philippaerts, Pieter;
Mühlberg, Jan Tobias;
Penninckx, Willem;
Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Software verification with VeriFast: Industrial case studies, Science of Computer Programming, 2013 (Accepted)
- Philippaerts, Pieter;
Younan, Yves;
Muylle, Stijn;
Piessens, Frank;
Lachmund, Sven;
Walter, Thomas.
CPM: Masking code pointers to prevent code injection attacks, ACM Transactions on Information and System Security, 2013 (Accepted)
- Devriese, Dominique;
Piessens, Frank.
Finally tagless observable recursion for an abstract grammar model, Journal of Functional Programming, volume 22, issue 6, pages 757-796, 2012
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Implicit dynamic frames, ACM Transactions on Programming Languages and Systems, volume 34, issue 1, 2012
- Younan, Yves;
Joosen, Wouter;
Piessens, Frank.
Runtime countermeasures for code injection attacks against C and C++ programs, ACM Computing Surveys, volume 44, issue 3, pages 17:1-17:28, 2012
- Devriese, Dominique;
Piessens, Frank.
On the bright side of type classes: instance arguments in Agda, ACM SIGPLAN Notices, volume 46, issue 9, pages 143-155, 2011
- Jacobs, Bart;
Piessens, Frank.
Expressive modular fine-grained concurrency specification, ACM SIGPLAN Notices, volume 46, issue 1, pages 271-282, 2011
- Younan, Yves;
Philippaerts, Pieter;
Piessens, Frank;
Joosen, Wouter;
Lachmund, Sven;
Walter, Thomas.
Filter-resistant code injection on ARM, Journal in Computer Virology, volume 7, issue 3, pages 173-188, 2011
- Dam, Mads;
Jacobs, Bart;
Lundblad, Andreas;
Piessens, Frank.
Provably correct inline monitoring for multithreaded Java-like programs, Journal of Computer Security, volume 18, issue 1, pages 37-59, 2010
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank;
Schulte, Wolfram.
Automatic verification of Java programs with dynamic frames, Formal Aspects of Computing, volume 22, issue 3-4, pages 423-457, 2010
- Younan, Yves;
Joosen, Wouter;
Piessens, Frank;
Van den Eynden, Hans.
Improving memory management security for C and C++, International Journal of Secure Software Engineering, volume 1, issue 2, pages 57-82, 2010
- Vanoverberghe, Dries;
Piessens, Frank.
Security enforcement aware software development, Information and Software Technology, volume 51, issue 7, pages 1172-1189, 2009
- Desmet, Lieven;
Verbaeten, Pierre;
Joosen, Wouter;
Piessens, Frank.
Provable protection against web application vulnerabilities related to session data dependencies, IEEE Transactions on Software Engineering, volume 34, issue 1, pages 50-64, 2008
- Jacobs, Bart;
Piessens, Frank;
Smans, Jan;
Leino, K. Rustan M.;
Schulte, Wolfram.
A programming model for concurrent object-oriented programs, ACM Transactions on Programming Languages and Systems, volume 31, issue 1, 48 p. pages, 2008
- Massacci, Fabio;
Piessens, Frank;
Mauw, Sjouke.
Special issue on security and trust preface, Science of Computer Programming, volume 74, issue 1-2, page1, 2008
- Moors, Adriaan;
Piessens, Frank;
Odersky, Martin.
Generics of a higher kind, ACM SIGPLAN Notices, volume 43, issue 10, pages 423-438, 2008
Articles in other journals
1 reference- Desmet, Lieven;
Joosen, Wouter;
Massacci, Fabio;
Philippaerts, Pieter;
Piessens, Frank;
Siahaan, Ida;
Vanoverberghe, Dries.
Security-by-contract on the .NET platform, Information Security Technical Report, volume 13, issue 1, pages 25-32, 2008
Books, internationally recognised scientific publisher; as author
1 reference- Verhanneman, Tine;
Piessens, Frank.
Context-based access control for software applications: State of the art and new directions, 125 pages, VDM Verlag, Germany, 2008, isbn 978-363-901-890-5
Article in book, internationally recognised scientific publisher
4 references- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
VeriFast for Java: A tutorial, Clarke, David; Wrigstad, Tobias; Noble, James (eds.), Lecture Notes in Computer Science, volume 7850, Springer-Verlag, 2013
- Erlingsson, Ulfar;
Younan, Yves;
Piessens, Frank.
Low-level software security by example, Stavroulakis, Peter; Stamp, Mark (eds.), Springer, 2010
- De Win, Bart;
Goovaerts, Tom;
Joosen, Wouter;
Philippaerts, Pieter;
Piessens, Frank;
Younan, Yves.
Security middleware for mobile applications, Garbinato, B.; Miranda, H.; Rodrigues, L (eds.), Springer, 2009
- Desmet, Lieven;
Joosen, Wouter;
Massacci, Fabio;
Naliuka, Katsiaryna;
Philippaerts, Pieter;
Piessens, Frank;
Siahaan, Ida;
Vanoverberghe, Dries.
A security architecture for Web 2.0 applications, Tselentis, Georgios; Domingue, John; Galis, Alex; Gavras, Anastasius; Hausheer, David; Krco, Srdjan; Lotz, Volkmar; Zahariadis, Theodore (eds.), IOS Press, 2009
Papers at international conferences and symposia, published in full in proceedings
69 references- Devriese, Dominique;
Sergey, Ilya;
Clarke, Dave;
Piessens, Frank.
Fixing idioms: a recursion primitive for Applicative DSLs, Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy, 21-22 January 2013, Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), pages 97-106, ACM
- Nikiforakis, Nick;
Kapravelos, Alexandros;
Joosen, Wouter;
Kruegel, Christopher;
Piessens, Frank;
Vigna, Giovanni.
Cookieless monster: Exploring the ecosystem of web-based device fingerprinting, IEEE Security and Privacy, San Francisco, 19-22 May 2013 (Accepted)
- Nikiforakis, Nick;
Van Acker, Steven;
Meert, Wannes;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
Bitsquatting: Exploiting bit-flips for fun, or profit?, World Wide Web Conference (WWW), Rio De Janeiro, Brazil, 13-17 May 2013 (Accepted)
- Noorman, Job;
Agten, Pieter;
Daniels, Wilfried;
Strackx, Raoul;
Van Herrewege, Anthony;
Huygens, Christophe;
Preneel, Bart;
Verbauwhede, Ingrid;
Piessens, Frank.
Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base, USENIX Security Symposium, Washington D.C., 14-16 August 2013, 22nd USENIX Security Symposium, USENIX Association (Accepted)
- Sergey, Ilya;
Devriese, Dominique;
Might, Matthew;
Midtgaard, Jan;
Darais, David;
Clarke, Dave;
Piessens, Frank.
Monadic abstract interpreters, Flanagan, Cormac (ed.), ACM SIGPLAN conference on Programming Language Design and Implementation., Seattle, Washington, USA, 16-22 June 2013, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation., ACM (Accepted)
- Vanhoef, Mathy;
Piessens, Frank.
Practical verification of WPA-TKIP vulnerabilities, ACM SIGSAC Symposium on Information, Computer and Communications Security (AsiaCCS 2013), Hangzhou, China, 8-10 May 2013, Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security (AsiaCCS 2013), pages 427-436, ACM
- Vanoverberghe, Dries;
Eyckmans, Emma;
Piessens, Frank.
State coverage: an empirical analysis based on a user study, van Emde Boas, Peter (ed.), Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26–31, 2013, Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, Springer Verlag (Accepted)
- Agten, Pieter;
Nikiforakis, Nick;
Strackx, Raoul;
De Groef, Willem;
Piessens, Frank.
Recent developments in low-level software security, Askoxylakis, Ioannis; Pöhls, Henrich; Posegga, Joachim (eds.), Information Security Theory and Practice (WISTP 2012), Lecture Notes in Computer Science, volume 7322, pages 1-16, Springer, 2012
- Agten, Pieter;
Strackx, Raoul;
Jacobs, Bart;
Piessens, Frank.
Secure compilation to modern processors, Kellenberger, Patrick (ed.), Computer Security Foundations Symposium, Harvard University, Cambridge MA, USA, 25-27 June 2012, 2012 IEEE 25th Computer Security Foundations Symposium (CSF 2012), pages 171-185, IEEE
- Agten, Pieter;
Van Acker, Steven;
Brondsema, Yoran;
Phung, Phu H.;
Desmet, Lieven;
Piessens, Frank.
JSand: Complete client-side sandboxing of third-party JavaScript without browser modifications, Annual Computer Security Applications Conference (ACSAC 2012), Orlando, Florida, USA, 3-7 December 2012, Proceedings of the 28th Annual Computer Security Applications Conference (ACSAC 2012), pages 1-10, ACM
- Barthe, Gilles;
Crespo, Juan Manuel;
Devriese, Dominique;
Piessens, Frank;
Rivas, Exequiel.
Secure multi-execution through static program transformation, Giese, Holger; Rosu, Grigore (eds.), Formal Techniques for Distributed Systems (FMOODS/FORTE 2012), Stockholm, 13-16 June 2012, Formal Techniques for Distributed Systems (FMOODS/FORTE 2012), volume 7273, pages 186-202, Springer Berlin Heidelberg
- De Groef, Willem;
Devriese, Dominique;
Nikiforakis, Nick;
Piessens, Frank.
FlowFox: a web browser with flexible and precise information flow control, ACM Conference on Computer and Communications Security, Raleigh, NC, USA, 16-18 October 2012, Proceedings of the 2012 ACM Conference on Computer and Communications Security (CCS 2012), pages 748-759, ACM
- De Groef, Willem;
Devriese, Dominique;
Piessens, Frank.
Better security and privacy for web browsers: A survey of techniques, and a new implementation, Barthe, Gilles; Datta, Anupam; Etalle, Sandro (eds.), Formal Aspects of Security and Trust (FAST 2011), Leuven, 12-14 September 2011, Lecture Notes in Computer Science, volume 7140, pages 21-38, Springer, 2012
- De Ryck, Philippe;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
A security analysis of emerging web standards - HTML5 and friends, from specification to implementation, Samarati, Pierangela; Lou, Wenjing; Zhou, Jianying (eds.), SECRYPT, Rome, Italy, 24-27 July 2012, Proceedings of the International Conference on Security and Cryptography (SECRYPT), pages 257-262, SciTePress
- De Ryck, Philippe;
Nikiforakis, Nick;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
Serene: Self-reliant client-side protection against session fixation, Goeschka, Karl M.; Haridi, Seif (eds.), DAIS, Stockholm, Sweden, 13-15 June 2012, 12th IFIP International Conference on Distributed Applications and Interoperable Systems, pages 59-72, Springer-Verlag
- Gadaleta, Francesco;
Strackx, Raoul;
Nikiforakis, Nick;
Piessens, Frank;
Joosen, Wouter.
On the effectiveness of virtualization-based security, Bellini, Marcello; Brunst, Phillip W.; Jähnke, Jochen (eds.), IT Security, Freiburg (Germany), 07-10 May 2012, Max Planck Institute
- Lekies, Sebastian;
Nikiforakis, Nick;
Tighzert, Walter;
Piessens, Frank;
Johns, Martin.
DEMACRO: Defense against malicious cross-domain requests, International Symposium on Research in Attacks, Intrusions and Defenses (RAID), Amsterdam, The Netherlands, 12-14 September 2012, pages 254-273
- Nikiforakis, Nick;
Invernizzi, Luca;
Kapravelos, Alexandros;
Van Acker, Steven;
Joosen, Wouter;
Kruegel, Christopher;
Piessens, Frank;
Vigna, Giovanni.
You are what you include: Large-scale evaluation of remote JavaScript inclusions, ACM Conference on Computer and Communications Security, Raleigh, NC, USA, 16-18 October 2012, Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS 2012), pages 736-747
- Nikiforakis, Nick;
Van Acker, Steven;
Piessens, Frank;
Joosen, Wouter.
Exploring the ecosystem of Referrer-Anonymizing Services, Privacy Enhancing Technologies Symposium (PETS 2012), Vigo, Spain, 11-13 July 2012
- Noorman, Job;
Nikiforakis, Nick;
Piessens, Frank.
There is safety in numbers: Preventing control-flow hijacking by duplication, 17th Nordic Conference on Secure IT Systems (NordSec 2012), 2012
- Penninckx, Willem;
Mühlberg, Jan Tobias;
Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Sound formal verification of Linux's USB BP keyboard driver, Goodloe, Alwyn; Person, Suzette (eds.), NASA Formal Methods, Norfolk, Virginia, USA, 3-5 April 2012, NASA Formal Methods, volume 7226, pages 210-215, Springer
- Reynaert, Tom;
De Groef, Willem;
Devriese, Dominique;
Desmet, Lieven;
Piessens, Frank.
PESAP: a Privacy enhanced social application platform, International Workshop on Security and Privacy in Social Networks (SPSN), Amsterdam, The Netherlands, 3-6 September 2012 (Accepted)
- Strackx, Raoul;
Piessens, Frank.
Fides: Selectively hardening software application components against kernel-level or process-level malware, ACM Conference on Computer and Communications Security, Raleigh, NC, 16-18 October 2012, Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS 2012), pages 2-13, ACM Press
- Swinnen, Arne;
Strackx, Raoul;
Philippaerts, Pieter;
Piessens, Frank.
ProtoLeaks: A reliable and protocol-independent network covert channel, International Conference on Information System Security (ICISS 2012), Guwahati, India, 15-19 December 2012, Proceedings of the International Conference on Information System Security (ICISS 2012), pages 119-133, Springer Verlag
- Van Acker, Steven;
Nikiforakis, Nick;
Desmet, Lieven;
Joosen, Wouter;
Piessens, Frank.
FlashOver: Automated discovery of cross-site scripting vulnerabilities in rich internet applications, AsiaCCS, Seoul, 2-4 May 2012
- Vanoverberghe, Dries;
de Halleux, Jonathan;
Tillmann, Nikolai;
Piessens, Frank.
State coverage: Software validation metrics beyond code coverage, Bieliková, Mária; Friedrich, Gerhard; Gottlob, Georg; Katzenbeisser, Stefan; Turán, György (eds.), SOFSEM, Špindlerův Mlýn, Czech Republic, 21-27 January, 2012, Lecture Notes in Computer Science, volume 7147, pages 542-553, Springer
- Bielova, Nataliia;
Devriese, Dominique;
Massacci, Fabio;
Piessens, Frank.
Reactive non-interference for a browser model, International Conference on Network and System Security (NSS 2011), Milan, Italy, 6-8 September 2011, Proceedings of the 5th International Conference on Network and System Security (NSS 2011), pages 97-104
- De Ryck, Philippe;
Decat, Maarten;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
Security of web mashups: a survey, Aura, Tuomas; Nyberg, Kaisa (eds.), Nordic Conference in Secure IT Systems (NordSec 2010), Aalto University, Espoo, Finland, 27-30 October 2010, Information Security Technology for Applications, 15th Nordic Conference in Secure IT Systems (NordSec 2010), LNCS, volume 7127, pages 223-238, Springer, 2011
- De Ryck, Philippe;
Desmet, Lieven;
Joosen, Wouter;
Piessens, Frank.
Automatic and precise client-side protection against CSRF attacks, European Symposium on Research in Computer Security (ESORICS 2011), Leuven, Belgium, 12-14 September 2011, Lecture Notes in Computer Science, volume 6879, pages 100-116, Springer
- Devriese, Dominique;
Piessens, Frank.
Information flow enforcement in monadic libraries, Dreyer, Derek (ed.), Types in Language Design and Implementation (TLDI 2011), Austin, Texas, 25 January 2011, Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011), pages 59-72
- Devriese, Dominique;
Piessens, Frank.
Explicitly recursive grammar combinators - A better model for shallow parser DSLs, Rocha, Ricardo; Launchbury, John (eds.), Practical Aspects of Declarative Languages, Austin, Texas, USA, 24-25 January 2011, Practical Aspects of Declarative Languages (PADL 2011), pages 84-98, Springer
- Devriese, Dominique;
Piessens, Frank.
On the bright side of type classes: instance arguments in Agda, International Conference On Functional Programming (ICFP 2011), Tokyo, Japan, 19-21 September 2011, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), pages 143-155, ACM
- Jacobs, Bart;
Piessens, Frank.
Expressive modular fine-grained concurrency specification, Sagiv, Mooly (ed.), Principles of Programming Languages (POPL 2011), Austin, TX, USA, 26-28 January 2011, Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011), pages 271-282, ACM
- Jacobs, Bart;
Smans, Jan;
Philippaerts, Pieter;
Vogels, Frédéric;
Penninckx, Willem;
Piessens, Frank.
VeriFast: A powerful, sound, predictable, fast verifier for C and Java, NASA Formal Methods (NFM 2011), Pasadena, USA, 18-20 April 2011, NASA Formal Methods, volume 6617, pages 41-55, Springer
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verification of unloadable modules, Butler, Michael; Schulte, Wolfram (eds.), 17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland, 20-24 June 2011, 17th International Symposium on Formal Methods (FM 2011), volume 6664, pages 402-416, Springer
- Klebanov, Vladimir;
Müller, Peter;
Natarajan, Shankar;
Leavens, Gary;
Wüstholz, Valentin;
Alkassar, Eyad;
Arthan, Rob;
Bronish, Derek;
Chapman, Rod;
Cohen, Ernie;
Hillebrand, Mark;
Jacobs, Bart;
Leino, K. Rustan M.;
Monahan, Rosemary;
Piessens, Frank;
Polikarpova, Nadia;
Ridge, Tom;
Smans, Jan;
Tobies, Stephan;
Tuerk, Thomas;
Ulbrich, Mattias;
Weiss, Benjamin.
The 1st verified software competition: Experience report, Butler, Michael; Schulte, Wolfram (eds.), 17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland, 20-24 June 2011, 17th International Symposium on Formal Methods (FM 2011), volume 6664, pages 154-168, Springer
- Massacci, Fabio;
Bouquet, Fabrice;
Fourneret, Elizabeta;
Jurjens, Jan;
Lund, Mass;
Madelenat, Sebastien;
Mühlberg, Jan Tobias;
Paci, Federica;
Paul, Stephane;
Piessens, Frank;
Solhaug, Bjornar;
Wenzel, Sven.
Orchestrating security and system engineering for evolving systems - (invited paper), ServiceWave, Poznan, Poland, 26-28 October 2011, Lecture Notes in Computer Science, volume 6994, pages 134-143, Springer
- Philippaerts, Pieter;
Vogels, Frédéric;
Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
The Belgian electronic identity card: a verification case study, International Workshop Automated Verification of Critical Systems, Newcastle, 12-14 September 2011, Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11)
- Philippaerts, Pieter;
Younan, Yves;
Muylle, Stijn;
Piessens, Frank;
Lachmund, Sven;
Walter, Thomas.
Code Pointer Masking: Hardening applications against code injection attacks, Holz, Thorsten; Bos, Herbert (eds.), Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA 2011), Amsterdam, 7-8 July 2011, Proceedings of the Detection of Intrusions and Malware and Vulnerability Assessment Conference (DIMVA 2011), pages 194-213, Springer
- Van Acker, Steven;
De Ryck, Philippe;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
WebJail: Least-privilege integration of third-party components in web mashups, ACSAC, Orlando, Florida, USA, 5-9 December 2011, Proceedings of the 27th Annual Computer Security Applications Conference, volume 1, issue 1, pages 307-316, ACM New York
- Vanoverberghe, Dries;
Piessens, Frank.
Theoretical aspects of compositional symbolic execution, Giannakopoulou, Dimitra; Orejas, Fernando (eds.), Fundamental Approaches to Software Engineering, Saarbrücken, Germany, 26 March - 3 April, 2011, Fundamental Approaches to Software Engineering (FASE 2011), volume 6603, pages 247-261, Springer
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank;
Smans, Jan.
Annotation inference for separation logic based verifiers, Bruni, Roberto; Dingel, Juergen (eds.), FMOODS/FORTE 2011, Reykjavik, Iceland, 6-9 June 2011, Formal Techniques for Distributed Systems (FMOODS/FORTE 2011), volume 6722, pages 319-333, Springer
- De Ryck, Philippe;
Desmet, Lieven;
Heyman, Thomas;
Piessens, Frank;
Joosen, Wouter.
CsFire: Transparent client-side mitigation of malicious cross-domain requests, Massacci, Fabio; Wallach, Dan; Zannone, Nicola (eds.), Engineering Secure Software and Systems, Pisa, Italy, 3-4 February 2010, Lecture Notes in Computer Science, volume 5965, pages 18-34, Springer Berlin / Heidelberg
- Devriese, Dominique;
Piessens, Frank.
Non-interference through secure multi-execution, IEEE Symposium on Security and Privacy 2010, Oakland, California, US, 16-19 May 2010, 2010 IEEE Symposium on Security and Privacy Proceedings, issue 2010, pages 109-124, IEEE Computer Society
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
A quick tour of the VeriFast program verifier, Asian Symposium on Programming Languages and Systems, Shanghai, China, 28 November - 1 December 2010, Programming Languages and Systems (APLAS 2010), pages 304-311, Springer-Verlag
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
VeriFast: Imperative Programs as Proofs, VSTTE workshop on Tools & Experiments, Edinburgh, Scotland, 19 August 2010, VSTTE Workshop on Tools & Experiments
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Heap-dependent expressions in separation logic, Zucca, Elena; Hatcliff, John (eds.), FMOODS/FORTE, Amsterdam, Netherlands, 7-9 June 2010, Formal Techniques for Distributed Systems, volume 6117, pages 170-185, Springer-Verlag
- Strackx, Raoul;
Piessens, Frank;
Preneel, Bart.
Efficient isolation of trusted subsystems in embedded systems, Jajodia, Sushil; Zhou, Jianying (eds.), International ICST Conference, SecureComm 2010, Singapore, 7-9 September 2010, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering: Security and Privacy in Communication Networks, volume 50, pages 1-18, Springer
- Strackx, Raoul;
Younan, Yves;
Philippaerts, Pieter;
Piessens, Frank.
Efficient and effective buffer overflow protection on ARM processors, Samarati, Pierangela; Tunstall, Michael; Posegga, Joachim; Markantonakis, Konstantinos; Sauveron, Damien (eds.), Workshop in Information Security Theory and Practice Series, Passau, Germany, 12-14 April 2010, Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices, volume 6033, pages 1-16, Springer
- Van Acker, Steven;
Nikiforakis, Nick;
Philippaerts, Pieter;
Younan, Yves;
Piessens, Frank.
ValueGuard: Protection of native applications against data-only buffer overflows, Jha, Somesh; Mathuria, Anish (eds.), ICISS (International Conference on Information Systems Security), Gandhinagar, India, 15-19 December 2010, Lecture Notes in Computer Science, volume 6503, pages 156-170, Springer
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
A machine-checked soundness proof for an efficient verification condition generator, SAC, Sierre, Switzerland, 22-26 March 2010, Symposium on Applied Computing 2010, volume 3, pages 2517-2522, ACM
- Younan, Yves;
Philippaerts, Pieter;
Cavallaro, Lorenzo;
Sekar, R.;
Piessens, Frank;
Joosen, Wouter.
PAriCheck: an efficient pointer arithmetic checker for C programs, ACM Symposium on Information, Computer and Communications Security, Beijing, China, 13-16 April 2010, Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, pages 145-156, ACM
- Dam, Mads;
Jacobs, Bart;
Lundblad, Andreas;
Piessens, Frank.
Security monitor inlining for multithreaded Java, Drossopoulou, Sophia (ed.), ECOOP, Genova, 6-10 July 2009, ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genova, Italy, July 6-10, 2009, Proceedings, volume 5653, pages 546-569, Springer-Verlag
- Desmet, Lieven;
Joosen, Wouter;
Massacci, Fabio;
Katsiaryna, Naliuka;
Philippaerts, Pieter;
Piessens, Frank;
Vanoverberghe, Dries.
The S3MS.NET run time monitor: Tool demonstration, Albert, Elvira; Genaim, Samir (eds.), Bytecode, York, 29 March 2009, Electronic Notes in Theoretical Computer Science, volume 253, issue 5, pages 153-159, Springer
- Jacobs, Bart;
Piessens, Frank.
Failboxes: Provably safe exception handling, Drossopoulou, Sophia (ed.), ECOOP, Genova, 6-10 July 2009, ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genova, Italy, July 6-10, 2009, Proceedings, volume 5653, pages 470-494, Springer-Verlag
- Massacci, Fabio;
Piessens, Frank;
Siahaan, Ida.
Security-by-contract for the future Internet, Domingue, J.; Fensel, D.; Traverso, P (eds.), Future of Internet Symposium, 2008, Lecture Notes in Computer Science, volume 5468, pages 29-43, Springer, 2009
- Philippaerts, Pieter;
Boon, Cédric;
Piessens, Frank.
Report: Extensibility and implementation independence of the .NET cryptographic API, ESSoS, Leuven, February 04-06, 2009, Lecture Notes in Computer Science, volume 5429, pages 101-110, Springer
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Implicit dynamic frames: Combining dynamic frames and separation logic, Drossopoulou, Sophia (ed.), European Conference on Object-oriented Programming (ECOOP), Genova, 6-10 July 2009, ECOOP 2009 - Object-oriented Programming, 23rd European Conference, Genova, Italy, July 6-10, 2009, Proceedings, volume 5653, pages 148-172, Springer-Verlag
- Strackx, Raoul;
Younan, Yves;
Philippaerts, Pieter;
Piessens, Frank;
Lachmund, Sven;
Walter, Thomas.
Breaking the memory secrecy assumption, Markatos, Envagelos; Costa, Manuel (eds.), Eurosec, Nuremberg, 31 March 2009, Proceedings of the 2nd European Workshop on System Security, pages 1-8, Association for Computing Machinery (ACM)
- Vanoverberghe, Dries;
Tillmann, Nikolai;
Piessens, Frank.
Test input generation for programs with pointers, Kowalewski, Stefan; Philippou, Anna (eds.), Tools and Algorithms for Construction and Analysis of Systems, York, UK, 22-29 March 2009, Tools and Algorithms for the Construction and Analysis of Systems, volume 5505/2009, pages 277-291, Springer
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
A machine checked soundness proof for an intermediate verification language, Nielsen, Mogens; Kucera, Antonin; Milterson, Peter Bro; Palamidessi, Catuscia; Tuma, Petr; Valencia, Frank D (eds.), SOFSEM 2009, Špindlerův Mlýn, Czech Republic, 24-30 January 2009, Lecture Notes in Computer Science, volume 5404, pages 570-581, Springer
- Younan, Yves;
Philippaerts, Pieter;
Piessens, Frank;
Joosen, Wouter;
Lachmund, Sven;
Walter, Thomas.
Filter-resistant code injection on ARM, Conference on Computer and Communications Security (CCS), Chicago, 9-13 November 2009, Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS 2009), pages 11-20, The association for computing machinery
- Younan, Yves;
Piessens, Frank;
Joosen, Wouter.
Protecting global and static variables from buffer overflow attacks, International Workshop on Secure Software Engineering (SecSE), Fukuoka, 18 March 2009, Fourth International Conference on Availability, Security and Reliability, pages 798-803, IEEE Computer Society
- Moors, Adriaan;
Piessens, Frank;
Odersky, Martin.
Generics of a higher kind, OOPSLA, Nashville, Tennessee, USA, 19-23 October 2008, Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, pages 423-438, ACM
- Moors, Adriaan;
Piessens, Frank;
Odersky, Martin.
Safe type-level abstraction in Scala, FOOL, San Francisco, California, USA, 13 January 2008, Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL 2008), pages 1-13
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Implicit dynamic frames, Huisman, Marieke (ed.), Formal Techniques for Java-like Programs, Paphos, Cyphrus, 08 July 2008, Proceedings of the 10th ECOOP Workshop on Formal Techniques for Java-like Programs, pages 1-12
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
VeriCool: An automatic verifier for a concurrent object-oriented language, Formal Methods for Open Object-Based Distributed Systems, Oslo, Norway, 4-6 June, 2008, Lecture Notes in Computer Science, volume 5051/2008, pages 220-239, Springer
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank;
Schulte, Wolfram.
An automatic verifier for Java-like programs based on dynamic frames, Fundamental Approaches to Software Engineering, Budapest, Hungary, March 29 - April 6 2008, Lecture Notes in Computer Science, volume 4961, pages 261-275, Springer
- Vanoverberghe, Dries;
Piessens, Frank.
A caller-side inline reference monitor for an Object-Oriented intermediate language, Formal Methods for Open Object-based Distributed Systems, Oslo, Norway, 4-6 June 2008, Lecture Notes in Computer Science, volume 5051/2008, pages 240-258, Springer
Meeting abstracts, presented at international conferences and symposia
5 references- De Groef, Willem;
Nikiforakis, Nick;
Younan, Yves;
Piessens, Frank.
JITSec: Just-in-time security for code injection attacks, Benelux Workshop on Information and System Security (WISSEC 2010), Nijmegen, The Netherlands, 29-30 November 2010
- Decat, Maarten;
De Ryck, Philippe;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
Towards building secure web mashups, OWASP AppSec Research 2010, Stockholm, Sweden, 23-24 June 2010
- Boon, Cédric;
Philippaerts, Pieter;
Piessens, Frank.
Practical experience with the .NET cryptographic API, Benelux Workshop on Information and System Security, Eindhoven, 13-14 November, 2008
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verifying the Composite pattern using separation logic, Barnett, Michael (ed.), Workshop on Specification and Verification of Component-Based Systems, Challenge Problem Track, Atlanta, GA, USA, 9-10 November 2008
- Joosen, Wouter;
Huygens, Christophe;
Piessens, Frank.
Secure software: a specific option in computer science, Faculty workshop on secure software, 14 April 2008
Thesis
7 references- Milushev, Dimiter.
Reasoning about Hyperproperties , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, June 2013, 198 pages, isbn: 978-908-649-628-0,
Clarke, David and
Piessens, Frank (supervisors) (Accepted)
- Vogels, Frédéric.
Formalisation and Soundness of Static Verification Algorithms for Imperative Programs , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2012, 482 pages,
Piessens, Frank and
Jacobs, Bart (supervisors)
- Vanoverberghe, Dries.
New Techniques for Symbolic Execution and State Coverage , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2011,
Piessens, Frank and
Joosen, Wouter (supervisors)
- Philippaerts, Pieter.
Security of Software on Mobile Devices , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, October 2010, 134 pages, isbn: 978-946-018-266-2,
Piessens, Frank and
Joosen, Wouter (supervisors)
- Moors, Adriaan.
Type Constructor Polymorphism for Scala: Theory and Practice , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2009,
Joosen, Wouter and
Piessens, Frank (supervisors)
- Smans, Jan.
Specification and Automatic Verification of Frame Properties for Java-like Programs , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2009, 144 pages,
Piessens, Frank and
Clarke, Dave (supervisors)
- Younan, Yves.
Efficient Countermeasures for Software Vulnerabilities due to Memory Management Errors , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2008,
Joosen, Wouter and
Piessens, Frank (supervisors)
Internal reports
27 references- Patrignani, Marco;
Clarke, Dave;
Piessens, Frank.
Secure compilation of oject-oriented components to untyped machine code, CW Reports, volume CW630, 42 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, January 2013
- Agten, Pieter;
Strackx, Raoul;
Jacobs, Bart;
Piessens, Frank.
Secure compilation to modern processors: extended version, CW Reports, volume CW619, 41 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, April 2012
- Barthe, Gilles;
Crespo, Juan Manuel;
Devriese, Dominique;
Piessens, Frank;
Rivas, Exequiel.
Secure multi-execution through static program transformation: extended version, CW Reports, volume CW620, 30 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, April 2012
- De Ryck, Philippe;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
A security analysis of emerging web standards - Extended version, CW Reports, volume CW622, 14 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, May 2012
- Fontaine, Arnaud;
Gadyatskaya, Olga;
Piessens, Frank;
Simplot-Ryl, Isabelle;
Mühlberg, Jan Tobias;
Massacci, Fabio;
Phillipov, Anton;
Capelastegui, Pedro;
Jacobs, Bart;
Philippaerts, Pieter.
SecureChange public project deliverable D6.6: Development-time and on-device interplay, 97 pages, 2012
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
Featherweight VeriFast: Extended version, CW Reports, volume CW614, 78 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, January 2012
- Bielova, Nataliia;
Devriese, Dominique;
Massacci, Fabio;
Piessens, Frank.
Reactive non-interference for the browser: extended version, CW Reports, volume CW602, 38 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 2011
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verification of unloadable C modules (Extended version), CW Reports, volume CW604, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2011
- Vanoverberghe, Dries;
de Halleux, Jonathan;
Tillmann, Nikolai;
Piessens, Frank.
State Coverage: Software validation metrics beyond Code Coverage - Extended Version, CW Reports, volume CW610, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2011
- Devriese, Dominique;
Piessens, Frank.
Explicitly recursive grammar combinators - The implementation of some grammar algorithms - Technical report, CW Report, volume CW594, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2010
- Jacobs, Bart;
Piessens, Frank.
Expressive modular fine-grained concurrency specification (Extended version), CW Reports, volume CW590, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2010
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verification of imperative programs: The VeriFast approach. A draft course text, CW Reports, volume CW578, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2010
- Vanoverberghe, Dries;
Piessens, Frank.
Precise and progressing compositional symbolic execution, CW Reports, volume CW582, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2010
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
A machine-checked soundness proof for an efficient verification condition generator: technical report, CW Reports, volume CW568, 156 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2010
- Cuypers, Cedric;
Jacobs, Bart;
Piessens, Frank.
Verification of data-race-freedom of a Java chat server with VeriFast, CW Reports, volume CW550, 5 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009
- Jacobs, Bart;
Piessens, Frank.
Modular full functional specification and verification of lock-free data structures, CW Reports, volume CW551, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009
- Jacobs, Bart;
Piessens, Frank.
Dynamic Owicki-Gries reasoning using ghost fields and fractional permissions, CW Reports, volume CW549, 2 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verification of unloadable C modules - status report, CW Reports, volume CW567, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2009
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verification of unloadable C modules - Soundness proof, CW Reports, volume CW570, 20 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2009
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Implicit dynamic frames: Combining dynamic frames and separation logic (soundness proof), CW Reports, volume CW542, 59 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009
- Younan, Yves;
Philippaerts, Pieter;
Cavallaro, Lorenzo;
Sekar, R.;
Piessens, Frank;
Joosen, Wouter.
PAriCheck: an efficient pointer arithmetic checker for C programs, CW Reports, volume CW554, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2009
- Boon, Cédric;
Philippaerts, Pieter;
Piessens, Frank.
Practical experience with the .NET cryptographic API, CW Reports, volume CW531, 16 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 2008
- Jacobs, Bart;
Piessens, Frank.
Subsystems: provably safe exception handling (status report), CW Reports, volume CW516, 35 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2008
- Jacobs, Bart;
Piessens, Frank.
The VeriFast program verifier, CW Reports, volume CW520, 7 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2008
- Moors, Adriaan;
Piessens, Frank;
Odersky, Martin.
Parser combinators in Scala, CW Reports, volume CW491, 28 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 2008
- Vanoverberghe, Dries;
Piessens, Frank.
A caller-side inline reference monitor for object-oriented intermediate language: extended version, CW Reports, volume CW512, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2008
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
A machine checked soundness proof for an intermediate verification language: extended version, CW Reports, volume CW526, 52 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2008
Misc.
2 references- Piessens, Frank;
Jacobs, Bart;
Leavens, Gary T..
Special section on Formal Techniques for Java-like Programs, Journal of Object Technology, volume 10, 2011
- Philippaerts, Pieter;
Younan, Yves. with contribution of Piessens, Frank.,
Alphanumeric RISC ARM shellcode, Alphanumeric ARM Shellcode, issue 66, June 2009
External reports
1 reference- De Ryck, Philippe;
Desmet, Lieven;
Philippaerts, Pieter;
Piessens, Frank.
A security analysis of next generation web standards, European Network and Information Security Agency (ENISA), July 2011
No publications found for the period 2008-2013 and the types
- Other published books; as author
- Books, internationally recognised scientific publisher; as editor
- Other published books; as editor
- Article in other published book
- Papers at other conferences and symposia, published in full in proceedings
- Meeting abstracts, presented at other conferences and symposia
- Review
- Translation without scientific introduction
- Scientific popularisation
Last update local database Sun Jun 16 2013 0:17 am; It contains 282 publications of Frank Piessens.
