Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers > Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers |
Shaz Qadeer; Serdar Tasiran
Springer Berlin Heidelberg
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation
Authors

Benjamin D. Rodes; Anh Nguyen-Tuong; Jason D. Hiser; John C. Knight; Michele Co; Jack W. Davidson

ARI Id

1664701244004_2797259

Access

Not Available Free

Pages

308-313

DOI

10.1007/978-3-642-35632-2_29

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-35632-2_29

Table of Contents of Book
Showing 1 to 20 of 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Dynamic Analyses for Data-Race Detection
John Erickson; Stephen Freund; Madanlal Musuvathi
1-1
Symbolic Execution
Cristian Cadar; Koushik Sen
2-2
Dynamic Livelock Analysis of Multi-threaded Programs
Malay K. Ganai
3-18
Scalable Dynamic Partial Order Reduction
Jiri Simsa; Randy Bryant; Garth Gibson; Jason Hickey
19-34
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level
Jan Fiedor; Tomáš Vojnar
35-41
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors
Ismail Kuru; Hassan Salehe Matar; Adrián Cristal; Gokcen Kestor; Osman Unsal
42-47
It’s the End of the World as We Know It (And I Feel Fine)
Jim R. Larus
48-48
Detecting Unread Memory Using Dynamic Binary Translation
Jon Eyolfson; Patrick Lam
49-63
Sparse Coding for Specification Mining and Error Localization
Wenchao Li; Sanjit A. Seshia
64-81
Sliding between Model Checking and Runtime Verification
Martin Leucker
82-87
Runtime Verification and Enforcement for Android Applications with RV-Droid
Yliès Falcone; Sebastian Currea; Mohamad Jaber
88-95
Temporal Monitors for TinyOS
Doina Bucur
96-109
Real-Time Runtime Verification on Chip
Thomas Reinbacher; Matthias Függer; Jörg Brauer
110-125
BabelTrace: A Collection of Transducers for Trace Validation
Aouatef Mrad; Samatar Ahmed; Sylvain Hallé; Éric Beaudet
126-130
Quantitative Trace Analysis Using Extended Timing Diagrams
Andreas Richter; Klaus Kabitzsch
131-135
Maximal Causal Models for Sequentially Consistent Systems
Traian Florin Şerbănuţă; Feng Chen; Grigore Roşu
136-150
Monitoring Compliance Policies over Incomplete and Disagreeing Logs
David Basin; Felix Klaedtke; Srdjan Marinovic; Eugen Zălinescu
151-167
Adaptive Runtime Verification
Ezio Bartocci; Radu Grosu; Atul Karmarkar; Scott A. Smolka; Scott D. Stoller; Erez Zadok et al.
168-182
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications
Giovanni Vigna
183-183
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings