Login / Signup
ESSoS
2009
2012
2015
2018
2009
2018
Keyphrases
Publications
2018
Aleieldin Salem
,
Tabea Schmidt
,
Alexander Pretschner
Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models.
ESSoS
(2018)
Mohammadreza Hazhirpasand
,
Mohammad Ghafari
One Leak Is Enough to Expose Them All - From a WebRTC IP Leak to Web-Based Network Scanning.
ESSoS
(2018)
Jago Gyselinck
,
Jo Van Bulck
,
Frank Piessens
,
Raoul Strackx
Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution.
ESSoS
(2018)
Oleksii Starov
,
Nick Nikiforakis
PrivacyMeter: Designing and Developing a Privacy-Preserving Browser Extension.
ESSoS
(2018)
Eyasu Getahun Chekole
,
Sudipta Chattopadhyay
,
Martín Ochoa
,
Huaqun Guo
Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems.
ESSoS
(2018)
Claudio Corrodi
,
Timo Spring
,
Mohammad Ghafari
,
Oscar Nierstrasz
Idea: Benchmarking Android Data Leak Detection Tools.
ESSoS
(2018)
Otto Brechelmacher
,
Willibald Krenn
,
Thorsten Tarrach
A Vision for Enhancing Security of Cryptography in Executables.
ESSoS
(2018)
Christian Bunse
,
Sebastian Plotz
Security Analysis of Drone Communication Protocols.
ESSoS
(2018)
Christopher Gerking
,
David Schubert
,
Eric Bodden
Model Checking the Information Flow Security of Real-Time Systems.
ESSoS
(2018)
Victor Le Pochat
,
Tom van Goethem
,
Wouter Joosen
Idea: Visual Analytics for Web Security.
ESSoS
(2018)
volume 10953, 2018
Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
ESSoS
10953 (2018)
2017
Emad Heydari Beni
,
Bert Lagaisse
,
Ren Zhang
,
Danny De Cock
,
Filipe Beato
,
Wouter Joosen
A Voucher-Based Security Middleware for Secure Business Process Outsourcing.
ESSoS
(2017)
Micah Morton
,
Hyungjoon Koo
,
Forrest Li
,
Kevin Z. Snow
,
Michalis Polychronakis
,
Fabian Monrose
Defeating Zombie Gadgets by Re-randomizing Code upon Disclosure.
ESSoS
(2017)
Federico De Meo
,
Luca Viganò
A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications.
ESSoS
(2017)
Tayyaba Nafees
,
Natalie Coull
,
Robert Ian Ferguson
,
Adam T. Sampson
Idea-Caution Before Exploitation: The Use of Cybersecurity Domain Knowledge to Educate Software Engineers Against Software Vulnerabilities.
ESSoS
(2017)
Lucian Cojocar
,
Taddeus Kroes
,
Herbert Bos
JTR: A Binary Solution for Switch-Case Recovery.
ESSoS
(2017)
Giampaolo Bella
,
Rosario Giustolisi
Idea: A Unifying Theory for Evaluation Systems.
ESSoS
(2017)
Dolière Francis Somé
,
Nataliia Bielova
,
Tamara Rezk
Control What You Include! - Server-Side Protection Against Third Party Web Tracking.
ESSoS
(2017)
Pierre Laperdrix
,
Benoit Baudry
,
Vikas Mishra
FPRandom: Randomizing Core Browser Objects to Break Advanced Device Fingerprinting Techniques.
ESSoS
(2017)
Heiko Mantel
,
Alexandra Weber
,
Boris Köpf
A Systematic Study of Cache Side Channels Across AES Implementations.
ESSoS
(2017)
Jasper Bogaerts
,
Bert Lagaisse
,
Wouter Joosen
SEQUOIA: Scalable Policy-Based Access Control for Search Operations in Data-Driven Applications.
ESSoS
(2017)
Gebrehiwet Biyane Welearegai
,
Christian Hammer
Idea: Optimized Automatic Sanitizer Placement.
ESSoS
(2017)
Robert Lagerström
,
Carliss Y. Baldwin
,
Alan MacCormack
,
Daniel J. Sturtevant
,
Lee Doolan
Exploring the Relationship Between Architecture Coupling and Software Vulnerabilities.
ESSoS
(2017)
Nuthan Munaiah
,
Benjamin S. Meyers
,
Cecilia Ovesdotter Alm
,
Andrew Meneely
,
Pradeep K. Murukannaiah
,
Emily Prud'hommeaux
,
Josephine Wolff
,
Yang Yu
Natural Language Insights from Code Reviews that Missed a Vulnerability - A Large Scale Study of Chromium.
ESSoS
(2017)
Anhtuan Le
,
Utz Roedig
,
Awais Rashid
LASARUS: Lightweight Attack Surface Reduction for Legacy Industrial Control Systems.
ESSoS
(2017)
Daniel Gruss
,
Moritz Lipp
,
Michael Schwarz
,
Richard Fellner
,
Clémentine Maurice
,
Stefan Mangard
KASLR is Dead: Long Live KASLR.
ESSoS
(2017)
volume 10379, 2017
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
ESSoS
10379 (2017)
2016
Tom van Goethem
,
Wout Scheepers
,
Davy Preuveneers
,
Wouter Joosen
Accelerometer-Based Device Fingerprinting for Multi-factor Mobile Authentication.
ESSoS
(2016)
Stanislav Dashevskyi
,
Achim D. Brucker
,
Fabio Massacci
On the Security Cost of Using a Free and Open Source Component in a Proprietary Product.
ESSoS
(2016)
Eric Rothstein Morris
,
Joachim Posegga
Idea: Enforcing Security Properties by Solving Behavioural Equations.
ESSoS
(2016)
Mohammad Torabi Dashti
,
David A. Basin
Security Testing Beyond Functional Tests.
ESSoS
(2016)
Joseph Hallett
,
David Aspinall
AppPAL for Android - Capturing and Checking Mobile App Policies.
ESSoS
(2016)
Quanlong Guan
,
Heqing Huang
,
Weiqi Luo
,
Sencun Zhu
Semantics-Based Repackaging Detection for Mobile Apps.
ESSoS
(2016)
Jasper Bogaerts
,
Bert Lagaisse
,
Wouter Joosen
Idea: Supporting Policy-Based Access Control on Database Systems.
ESSoS
(2016)
Benjamin Fogel
,
Shane Farmer
,
Hamza Alkofahi
,
Anthony Skjellum
,
Munawar Hafiz
POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities.
ESSoS
(2016)
Sven Türpe
Idea: Usable Platforms for Secure Programming - Mining Unix for Insight and Guidelines.
ESSoS
(2016)
Pauline Anthonysamy
,
Matthew Edwards
,
Chris Weichel
,
Awais Rashid
Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language.
ESSoS
(2016)
Andreas Follner
,
Alexandre Bartel
,
Eric Bodden
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.
ESSoS
(2016)
Enrico Lovat
,
Martín Ochoa
,
Alexander Pretschner
Sound and Precise Cross-Layer Data Flow Tracking.
ESSoS
(2016)
Mingyi Zhao
,
Peng Liu
Empirical Analysis and Modeling of Black-Box Mutational Fuzzing.
ESSoS
(2016)
Bernhard J. Berger
,
Karsten Sohr
,
Rainer Koschke
Automatically Extracting Threats from Extended Data Flow Diagrams.
ESSoS
(2016)
Achim D. Brucker
,
Michael Herzberg
On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation.
ESSoS
(2016)
Mathias Payer
HexPADS: A Platform to Detect "Stealth" Attacks.
ESSoS
(2016)
Willard Rafnsson
,
Deepak Garg
,
Andrei Sabelfeld
Progress-Sensitive Security for SPARK.
ESSoS
(2016)
volume 9639, 2016
Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
ESSoS
9639 (2016)
2015
Amina Souag
,
Camille Salinesi
,
Raúl Mazo
,
Isabelle Comyn-Wattiau
A Security Ontology for Security Requirements Elicitation.
ESSoS
(2015)
Maarten Decat
,
Jasper Moeys
,
Bert Lagaisse
,
Wouter Joosen
Improving Reuse of Attribute-Based Access Control Policies Using Policy Templates.
ESSoS
(2015)
Stefano Calzavara
,
Alvise Rabitti
,
Michele Bugliesi
Formal Verification of Liferay RBAC.
ESSoS
(2015)
Marouane Fazouane
,
Henning Kopp
,
Rens W. van der Heijden
,
Daniel Le Métayer
,
Frank Kargl
Formal Verification of Privacy Properties in Electric Vehicle Charging.
ESSoS
(2015)
volume 8978, 2015
Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings
ESSoS
8978 (2015)