Frank Piessens

	2009
48		Jan Smans, Bart Jacobs, Frank Piessens: Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. ECOOP 2009: 148-172
47		Bart Jacobs, Frank Piessens: Failboxes: Provably Safe Exception Handling. ECOOP 2009: 470-494
46		Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens: Security Monitor Inlining for Multithreaded Java. ECOOP 2009: 546-569
45		Pieter Philippaerts, Cédric Boon, Frank Piessens: Report: Extensibility and Implementation Independence of the .NET Cryptographic API. ESSoS 2009: 101-110
44		Frédéric Vogels, Bart Jacobs, Frank Piessens: A Machine Checked Soundness Proof for an Intermediate Verification Language. SOFSEM 2009: 570-581
43		Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens: Test Input Generation for Programs with Pointers. TACAS 2009: 277-291
	2008
42		Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE 2008: 261-275
41		Fabio Massacci, Frank Piessens, Ida Siahaan: Security-By-Contract for the Future Internet. FIS 2008: 29-43
40		Jan Smans, Bart Jacobs, Frank Piessens: VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. FMOODS 2008: 220-239
39		Dries Vanoverberghe, Frank Piessens: A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. FMOODS 2008: 240-258
38		Adriaan Moors, Frank Piessens, Martin Odersky: Generics of a higher kind. OOPSLA 2008: 423-438
37		Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte: A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst. 31(1): (2008)
36		Fabio Massacci, Frank Piessens: Preface. Electr. Notes Theor. Comput. Sci. 197(1): 1-2 (2008)
35		Lieven Desmet, Pierre Verbaeten, Wouter Joosen, Frank Piessens: Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies. IEEE Trans. Software Eng. 34(1): 50-64 (2008)
34		Fabio Massacci, Frank Piessens, Sjouke Mauw: Preface. Sci. Comput. Program. 74(1-2): 1 (2008)
	2007
33		Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe: A flexible security architecture to support third-party applications on mobile devices. CSAW 2007: 19-28
32		Bart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
31		Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Electr. Notes Theor. Comput. Sci. 174(9): 23-47 (2007)
	2006
30		Yves Younan, Davide Pozza, Frank Piessens, Wouter Joosen: Extended Protection against Stack Smashing Attacks without Performance Loss. ACSAC 2006: 429-438
29		Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten: Bridging the gap between web application firewalls and web applications. FMSE 2006: 67-77
28		Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439
27		Adriaan Moors, Frank Piessens, Wouter Joosen: An object-oriented approach to datatype-generic programming. ICFP-WGP 2006: 96-106
26		Yves Younan, Wouter Joosen, Frank Piessens: Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic. ICICS 2006: 379-398
25		Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten: Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. Software Composition 2006: 34-49
24		Tine Verhanneman, Frank Piessens, Bart De Win, Eddy Truyen, Wouter Joosen: A Modular Access Control Service for Supporting Application-Specific Policies. IEEE Distributed Systems Online 7(6): (2006)
23		Jan Smans, Bart Jacobs, Frank Piessens: Static Verification of Code Access Security Policy Compliance of .NET Applications. Journal of Object Technology 5(3): 35-58 (2006)
	2005
22		Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen: Uniform Application-level Access Control Enforcement of Organizationwide Policies. ACSAC 2005: 431-440
21		Yves Younan, Wouter Joosen, Frank Piessens: A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks. IWIA 2005: 3-20
20		Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte: Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147
19		Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen: Requirements traceability to support evolution of access control. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
18		Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen: Towards a unifying view on security contracts. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
	2004
17		Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten: Towards preserving correctness in self-managed software systems. WOSS 2004: 34-38
16		Frank Piessens, Bart Jacobs, Eddy Truyen, Wouter Joosen: Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature. Journal of Object Technology 3(2): 27-35 (2004)
	2003
15		Tine Verhanneman, Liesbeth Jaco, Bart De Win, Frank Piessens, Wouter Joosen: Adaptable Access Control Policies for Medical Information Systems. DAIS 2003: 133-140
14		Bart De Decker, Gregory Neven, Frank Piessens: Secure Vickrey Auctions without a Trusted Third Party. SEC 2003: 337-348
13		Frank Piessens, Bart Jacobs, Wouter Joosen: Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. IEE Proceedings - Software 150(5): 303-307 (2003)
	2002
12		G. Denys, Frank Piessens, Frank Matthijs: A survey of customizability in operating systems research. ACM Comput. Surv. 34(4): 450-468 (2002)
	2001
11		Bart De Decker, Frank Piessens, Jan Smits, Els Van Herreweghen: Advances in Network and Distributed Systems Security, IFIP TC11 WG11.4 First Annual Working Conference on Network Security, November 26-27, 2001, Leuven, Belgium Kluwer 2001
10		Bart De Decker, Gregory Neven, Frank Piessens, Erik Van Hoeymissen: Second Price Auctions, A Case Study of Secure Distributed Computating. DAIS 2001: 217-228
9		Frank Piessens, Bart De Decker, Bart De Win: Developing secure software. A survey and classification of common software vulnerabilities. IICIS 2001: 27-40
8		T. Herlea, Joris Claessens, Bart Preneel, Gregory Neven, Frank Piessens, Bart De Decker: On Securely Scheduling a Meeting. SEC 2001: 183-198
	2000
7		Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson: Universal Arrow Foundations for Visual Modeling. Diagrams 2000: 345-360
6		Bart De Decker, Frank Piessens, Erik Van Hoeymissen, Gregory Neven: Semi-trusted Hosts and Mobile Agents: Enabling Secure Distributed Computations. MATA 2000: 219-232
5		Gregory Neven, Frank Piessens, Bart De Decker: On the Practical Feasibiltiy of Secure Distributed Computing: A Case Study. SEC 2000: 361-370
	1997
4		Frank Piessens, Eric Steegmans: Selective Attribute Elimination for Categorial Data Specifications. AMAST 1997: 424-436
	1996
3		Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye: A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. JICSLP 1996: 170-184
	1995
2		Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye: Using Event Calculus for Protocol Specification: An Experiment. Deductive Databases / Abduction in Deductive Databases 1995: 187-201
	1994
1		Frank Piessens, Eric Steegmans: Canonical Forms for Data-Specifications. CSL 1994: 397-411

Coauthor Index

1	Kristof Van Belleghem	[2] [3]
2	Cédric Boon	[45]
3	Joris Claessens	[8]
4	Mads Dam	[46]
5	Bart De Decker	[5] [6] [8] [9] [10] [11] [14]
6	Marc Denecker	[2] [3]
7	G. Denys	[12]
8	Lieven Desmet	[17] [25] [29] [33] [35]
9	Zinovy Diskin	[7]
10	Guy Duchatelet	[2] [3]
11	T. Herlea	[8]
12	Els Van Herreweghen	[11]
13	Erik Van Hoeymissen	[6] [10]
14	Liesbeth Jaco	[15]
15	Bart Jacobs	[13] [16] [20] [23] [28] [31] [32] [37] [40] [42] [44] [46] [47] [48]
16	Nico Janssens	[17]
17	Michael Johnson	[7]
18	Wouter Joosen	[13] [15] [16] [17] [18] [19] [21] [22] [24] [25] [26] [27] [29] [30] [33] [35]
19	Boris Kadish	[7]
20	K. Rustan M. Leino	[20] [37]
21	Andreas Lundblad	[46]
22	Fabio Massacci	[33] [34] [36] [41]
23	Frank Matthijs	[12]
24	Sjouke Mauw	[34]
25	Sam Michiels	[17]
26	Adriaan Moors	[27] [38]
27	Peter Müller	[32]
28	Katsiaryna Naliuka	[33]
29	Gregory Neven	[5] [6] [8] [10] [14]
30	Martin Odersky	[38]
31	Pieter Philippaerts	[33] [45]
32	Davide Pozza	[30]
33	Bart Preneel	[8]
34	Danny De Schreye	[2] [3]
35	Wolfram Schulte	[20] [28] [31] [37] [42]
36	Ida Siahaan	[41]
37	Jan Smans	[18] [23] [28] [31] [37] [40] [42] [48]
38	Jan Smits	[11]
39	Eric Steegmans	[1] [4]
40	Nikolai Tillmann	[43]
41	Eddy Truyen	[16] [24]
42	Dries Vanoverberghe	[33] [39] [43]
43	Pierre Verbaeten	[17] [25] [29] [35]
44	Tine Verhanneman	[15] [19] [22] [24]
45	Frédéric Vogels	[44]
46	Bart De Win	[9] [15] [18] [19] [22] [24]
47	Yves Younan	[21] [26] [30]

Colors in the list of coauthors