Abstract is missing.
- Detecting Code Reuse Attacks with a Model of Conformant Program ExecutionEmily R. Jacobson, Andrew R. Bernat, William R. Williams, Barton P. Miller. 1-18 [doi]
- Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security PoliciesYehia Elrakaiby, Moussa Amrani, Yves Le Traon. 19-34 [doi]
- Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information ServicesJoachim Biskup, Cornelia Tadros. 35-44 [doi]
- Automated Formal Verification of Application-specific Security PropertiesPiergiuseppe Bettassa Copet, Riccardo Sisto. 45-59 [doi]
- Fault-Tolerant Non-interferenceFilippo Del Tedesco, Alejandro Russo, David Sands. 60-76 [doi]
- Quantitative Security Analysis for Programs with Low Input and Noisy OutputTri Minh Ngo, Marieke Huisman. 77-94 [doi]
- A Modeling and Formal Approach for the Precise Specification of Security PatternsBrahim Hamid, Christian Percebois. 95-112 [doi]
- On the Relation between Redactable and Sanitizable Signature SchemesHermann de Meer, Henrich Christopher Pöhls, Joachim Posegga, Kai Samelin. 113-130 [doi]
- Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret ComputerPeter T. Breuer, Jonathan P. Bowen. 131-140 [doi]
- Architectures for Inlining Security Monitors in Web ApplicationsJonas Magazinius, Daniel Hedin, Andrei Sabelfeld. 141-160 [doi]
- Automatic and Robust Client-Side Protection for Cookie-Based SessionsMichele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan. 161-178 [doi]
- Security Testing of GSM ImplementationsFabian van den Broek, Brinio Hond, Arturo Cedillo Torres. 179-195 [doi]
- User-Centric Security Assessment of Software Configurations: A Case StudyHamza Ghani, Jesus Luna Garcia, Ivaylo Petkov, Neeraj Suri. 196-212 [doi]
- Idea: Security Engineering Principles for Day Two Car2X ApplicationsSibylle B. Fröschle, Alexander Stühring. 213-221 [doi]
- Idea: Embedded Fault Injection Simulator on SmartcardMaël Berthier, Julien Bringer, Hervé Chabanne, Thanh-Ha Le, Lionel Rivière, Victor Servant. 222-229 [doi]