Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aleieldin Salem, Tabea Schmidt, Alexander Pretschner |
Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 108-115, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bunse, Sebastian Plotz |
Security Analysis of Drone Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 96-107, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz |
Idea: Benchmarking Android Data Leak Detection Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 116-123, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Victor Le Pochat, Tom van Goethem, Wouter Joosen |
Idea: Visual Analytics for Web Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 124-132, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx |
Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 44-60, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oleksii Starov, Nick Nikiforakis |
PrivacyMeter: Designing and Developing a Privacy-Preserving Browser Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 77-95, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Gerking, David Schubert, Eric Bodden |
Model Checking the Information Flow Security of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 27-43, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadreza Hazhirpasand, Mohammad Ghafari |
One Leak Is Enough to Expose Them All - From a WebRTC IP Leak to Web-Based Network Scanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 61-76, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Payer, Awais Rashid, Jose M. Such (eds.) |
Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![Springer, 978-3-319-94495-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach |
A Vision for Enhancing Security of Cryptography in Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 1-8, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eyasu Getahun Chekole, Sudipta Chattopadhyay 0001, Martín Ochoa, Huaqun Guo |
Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 9-26, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gruss, Moritz Lipp, Michael Schwarz 0001, Richard Fellner, Clémentine Maurice, Stefan Mangard |
KASLR is Dead: Long Live KASLR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 161-176, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Cojocar, Taddeus Kroes, Herbert Bos |
JTR: A Binary Solution for Switch-Case Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 177-195, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dolière Francis Somé, Nataliia Bielova, Tamara Rezk |
Control What You Include! - Server-Side Protection Against Third Party Web Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 115-132, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gebrehiwet Biyane Welearegai, Christian Hammer 0001 |
Idea: Optimized Automatic Sanitizer Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 87-96, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden, Mathias Payer, Elias Athanasopoulos (eds.) |
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![Springer, 978-3-319-62104-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 133-142, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Micah Morton, Hyungjoon Koo, Forrest Li, Kevin Z. Snow, Michalis Polychronakis, Fabian Monrose |
Defeating Zombie Gadgets by Re-randomizing Code upon Disclosure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 143-160, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Federico De Meo, Luca Viganò 0001 |
A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 196-212, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Lagerström, Carliss Y. Baldwin, Alan MacCormack, Daniel J. Sturtevant, Lee Doolan |
Exploring the Relationship Between Architecture Coupling and Software Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 53-69, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giampaolo Bella, Rosario Giustolisi |
Idea: A Unifying Theory for Evaluation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 231-239, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Bogaerts, Bert Lagaisse, Wouter Joosen |
SEQUOIA: Scalable Policy-Based Access Control for Search Operations in Data-Driven Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 1-18, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nuthan Munaiah, Benjamin S. Meyers, Cecilia Ovesdotter Alm, Andrew Meneely, Pradeep K. Murukannaiah, Emily Prud'hommeaux, Josephine Wolff, Yang Yu 0004 |
Natural Language Insights from Code Reviews that Missed a Vulnerability - A Large Scale Study of Chromium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 70-86, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anhtuan Le, Utz Roedig, Awais Rashid |
LASARUS: Lightweight Attack Surface Reduction for Legacy Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 36-52, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Laperdrix, Benoit Baudry, Vikas Mishra |
FPRandom: Randomizing Core Browser Objects to Break Advanced Device Fingerprinting Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 97-114, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Alexandra Weber, Boris Köpf |
A Systematic Study of Cache Side Channels Across AES Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 213-230, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emad Heydari Beni, Bert Lagaisse, Ren Zhang 0003, Danny De Cock, Filipe Beato, Wouter Joosen |
A Voucher-Based Security Middleware for Secure Business Process Outsourcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings, pp. 19-35, 2017, Springer, 978-3-319-62104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Payer |
HexPADS: A Platform to Detect "Stealth" Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 138-154, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 122-137, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tom van Goethem, Wout Scheepers, Davy Preuveneers, Wouter Joosen |
Accelerometer-Based Device Fingerprinting for Multi-factor Mobile Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 106-121, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci |
On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 190-206, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sven Türpe |
Idea: Usable Platforms for Secure Programming - Mining Unix for Insight and Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 207-215, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Follner, Alexandre Bartel, Eric Bodden |
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 155-172, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Willard Rafnsson, Deepak Garg 0001, Andrei Sabelfeld |
Progress-Sensitive Security for SPARK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 20-37, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Rothstein Morris, Joachim Posegga |
Idea: Enforcing Security Properties by Solving Behavioural Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 260-268, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Michael Herzberg |
On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 72-88, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard J. Berger, Karsten Sohr, Rainer Koschke |
Automatically Extracting Threats from Extended Data Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 56-71, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Hallett, David Aspinall 0001 |
AppPAL for Android - Capturing and Checking Mobile App Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 216-232, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pauline Anthonysamy, Matthew Edwards 0001, Christian Weichel, Awais Rashid |
Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 233-250, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Bogaerts, Bert Lagaisse, Wouter Joosen |
Idea: Supporting Policy-Based Access Control on Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 251-259, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mingyi Zhao, Peng Liu 0005 |
Empirical Analysis and Modeling of Black-Box Mutational Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 173-189, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Lovat, Martín Ochoa, Alexander Pretschner |
Sound and Precise Cross-Layer Data Flow Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 38-55, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Quanlong Guan, Heqing Huang, Weiqi Luo 0002, Sencun Zhu |
Semantics-Based Repackaging Detection for Mobile Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 89-105, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan Caballero, Eric Bodden, Elias Athanasopoulos (eds.) |
Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![Springer, 978-3-319-30805-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Torabi Dashti, David A. Basin |
Security Testing Beyond Functional Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings, pp. 1-19, 2016, Springer, 978-3-319-30805-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Divya Muthukumaran, Nirupama Talele, Trent Jaeger, Gang Tan |
Producing Hook Placements to Enforce Expected Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 178-195, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Massonet, Jesus Luna, Alain Pannetrat, Rubén Trapero |
Idea: Optimising Multi-Cloud Deployments with Security Controls as Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 102-110, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amina Souag, Camille Salinesi, Raúl Mazo, Isabelle Comyn-Wattiau |
A Security Ontology for Security Requirements Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 157-177, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raoul Strackx, Niels Lambrigts |
Idea: State-Continuous Transfer of State in Protected-Module Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 43-50, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Dürmuth, Fabian Angelstorf, Claude Castelluccia, Daniele Perito, Chaabane Abdelberi |
OMEN: Faster Password Guessing Using an Ordered Markov Enumerator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 119-132, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
Formal Verification of Liferay RBAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 1-16, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marouane Fazouane, Henning Kopp, Rens W. van der Heijden, Daniel Le Métayer, Frank Kargl |
Formal Verification of Privacy Properties in Electric Vehicle Charging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 17-33, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Decat, Jasper Moeys, Bert Lagaisse, Wouter Joosen |
Improving Reuse of Attribute-Based Access Control Policies Using Policy Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 196-210, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Allodi |
The Heavy Tails of Vulnerability Exploitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 133-148, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thuy D. Nguyen, Mark A. Gondree, Jean Khosalim, Cynthia E. Irvine |
Re-thinking Kernelized MLS Database Architectures in the Context of Cloud-Scale Data Stores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 86-101, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frank Piessens, Juan Caballero, Nataliia Bielova (eds.) |
Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![Springer, 978-3-319-15617-0 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon |
Are Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 51-67, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raoul Strackx, Pieter Philippaerts, Frédéric Vogels |
Idea: Towards an Inverted Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 111-118, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Pfaff, Sebastian Hack, Christian Hammer 0001 |
Learning How to Prevent Return-Oriented Programming Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 68-85, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren |
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 34-42, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hamann, Karsten Sohr, Martin Gogolla |
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 211-226, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner |
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 149-156, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Hamid, Christian Percebois |
A Modeling and Formal Approach for the Precise Specification of Security Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 95-112, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emily R. Jacobson, Andrew R. Bernat, William R. Williams, Barton P. Miller |
Detecting Code Reuse Attacks with a Model of Conformant Program Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 1-18, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle B. Fröschle, Alexander Stühring |
Idea: Security Engineering Principles for Day Two Car2X Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 213-221, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Biskup, Cornelia Tadros |
Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 35-44, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tri Minh Ngo, Marieke Huisman |
Quantitative Security Analysis for Programs with Low Input and Noisy Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 77-94, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hamza Ghani, Jesus Luna Garcia, Ivaylo Petkov, Neeraj Suri |
User-Centric Security Assessment of Software Configurations: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 196-212, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Frank Piessens, Nataliia Bielova (eds.) |
Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![Springer, 978-3-319-04896-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabian van den Broek, Brinio Hond, Arturo Cedillo Torres |
Security Testing of GSM Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 179-195, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Jonathan P. Bowen |
Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 131-140, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maël Berthier, Julien Bringer, Hervé Chabanne, Thanh-Ha Le, Lionel Rivière, Victor Servant |
Idea: Embedded Fault Injection Simulator on Smartcard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 222-229, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan |
Automatic and Robust Client-Side Protection for Cookie-Based Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 161-178, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hermann de Meer, Henrich Christopher Pöhls, Joachim Posegga, Kai Samelin |
On the Relation between Redactable and Sanitizable Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 113-130, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yehia Elrakaiby, Moussa Amrani, Yves Le Traon |
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 19-34, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Piergiuseppe Bettassa Copet, Riccardo Sisto |
Automated Formal Verification of Application-specific Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 45-59, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld |
Architectures for Inlining Security Monitors in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 141-160, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Del Tedesco, Alejandro Russo, David Sands 0001 |
Fault-Tolerant Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 60-76, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer |
Idea: Writing Secure C Programs with SecProve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 171-180, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bojan Simic, James Walden |
Eliminating SQL Injection and Cross Site Scripting Using Aspect Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 213-228, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Linda Ariani Gunawan, Peter Herrmann |
Compositional Verification of Application-Level Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 75-90, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Kotov, Fabio Massacci |
Anatomy of Exploit Kits - Preliminary Analysis of Exploit Kits as Software Artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 181-196, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anne Edmundson, Brian Holtkamp, Emanuel Rivera, Matthew Finifter, Adrian Mettler, David A. Wagner 0001 |
An Empirical Study on the Effectiveness of Security Code Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 197-212, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Denis Butin, David Gray, Giampaolo Bella |
Towards Verifying Voter Privacy through Unlinkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 91-106, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Prachi Kumari, Alexander Pretschner |
Model-Based Usage Control Policy Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 58-74, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Jonathan P. Bowen |
A Fully Homomorphic Crypto-Processor Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 123-138, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Benjamin Livshits, Riccardo Scandariato (eds.) |
Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![Springer, 978-3-642-36562-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koen Decroix, Jorn Lapon, Bart De Decker, Vincent Naessens |
A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 155-170, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nirupama Talele, Jason Teutsch, Trent Jaeger, Robert F. Erbacher |
Using Security Policies to Automate Placement of Network Intrusion Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 17-32, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philipp von Styp-Rekowsky, Sebastian Gerling, Michael Backes 0001, Christian Hammer 0001 |
Idea: Callee-Site Rewriting of Sealed System Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 33-41, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga |
Control-Flow Integrity in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 1-16, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Jeannin, Guido de Caso, Juan Chen 0002, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy |
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 139-154, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman |
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 107-122, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. May, Karthikeyan Bhargavan |
Towards Unified Authorization for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings, pp. 42-57, 2013, Springer, 978-3-642-36562-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001 |
Formalisation and Implementation of the XACML Access Control Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 60-74, 2012, Springer, 978-3-642-28165-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Viet Hung Nguyen, Fabio Massacci |
An Idea of an Independent Validation of Vulnerability Discovery Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 89-96, 2012, Springer, 978-3-642-28165-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Máté Kovács, Helmut Seidl |
Runtime Enforcement of Information Flow Security in Tree Manipulating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 46-59, 2012, Springer, 978-3-642-28165-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samson Gejibo, Federico Mancini 0001, Khalid A. Mughal, Remi Valvik, Jørn Klungsøyr |
Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 38-45, 2012, Springer, 978-3-642-28165-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kristian Beckers, Stephan Faßbender, Maritta Heisel, Jan-Christoph Küster, Holger Schmidt 0001 |
Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 14-21, 2012, Springer, 978-3-642-28165-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Maria Casalino, Henrik Plate, Slim Trabelsi |
Transversal Policy Conflict Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 30-37, 2012, Springer, 978-3-642-28165-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|