Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Frank
Last name:	Piessens
DBLP:	85/6647
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 109  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens. Fixing idioms: a recursion primitive for applicative DSLs.	Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 2013	(0)	2013
	Conference paper Dries Vanoverberghe, Emma Eyckmans, Frank Piessens. State Coverage: An Empirical Analysis Based on a User Study.	SOFSEM 2013	(0)	2013
	Conference paper Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens. State Coverage: Software Validation Metrics beyond Code Coverage.	SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, ?pindler?v Mlýn, Czech Republic, January 21-27, 2012. Proceedings 2012	(0)	2012
	Conference paper Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens. Sound Formal Verification of Linux's USB BP Keyboard Driver.	NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings 2012	(0)	2012
	Journal article Jan Smans, Bart Jacobs, Frank Piessens. Implicit dynamic frames.	ACM Trans. Program. Lang. Syst. 2012, Volume 34	(0)	2012
	Conference paper Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas. Secure Multi-Execution through Static Program Transformation.	Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings 2012	(0)	2012
	Conference paper Philippe De Ryck, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen. Serene: Self-Reliant Client-Side Protection against Session Fixation.	Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings 2012	(0)	2012
	Conference paper Pieter Agten, Nick Nikiforakis, Raoul Strackx, Willem De Groef, Frank Piessens. Recent Developments in Low-Level Software Security.	Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems - 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings 2012	(0)	2012
	Conference paper Nick Nikiforakis, Steven Van Acker, Frank Piessens, Wouter Joosen. Exploring the Ecosystem of Referrer-Anonymizing Services.	Privacy Enhancing Technologies - 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings 2012	(0)	2012
	Conference paper Yves Younan, Wouter Joosen, Frank Piessens. Runtime countermeasures for code injection attacks against C and C++ programs.	ACM Comput. Surv. 2012, Volume 44	(0)	2012

Show item 1 to 10 of 109  

Your query returned 109 matches in the database.