On Protection by Layout Randomization

No abstract is available for this paper.

• Publication year

  2010

• Venue

  IEEE Computer Security Foundations Symposium

• Publication date

  2010-07-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2240276.2240279
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• DieHarder: securing the heap

  2010cited by this paper
• Control-flow integrity principles, implementations, and applications

  2009cited by this paper
• CoSP: a general framework for computational soundness proofs

  2009cited by this paper
• A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms

  2009cited by this paper
• Samurai: protecting critical data in unsafe languages

  2008cited by this paper
• Cryptographically sound implementations for typed information-flow security

  2008cited by this paper
• Computational soundness of observational equivalence

  2008cited by this paper
• Low-Level Software Security: Attacks and Defenses

  2007cited by this paper
• Exterminator: automatically correcting memory errors with high probability

  2007cited by this paper
• DieHard: probabilistic memory safety for unsafe languages

  2006cited by this paper
• Independence from obfuscation: A semantic framework for diversity

  2006cited by this paper
• Efficient Techniques for Comprehensive Protection from Memory Error Exploits

  2005cited by this paper
• Non-Control-Data Attacks Are Realistic Threats

  2005cited by this paper
• Editorial

  2005cited by this paper
• Where's the FEEB? The Effectiveness of Instruction Set Randomization

  2005cited by this paper
• Randomized instruction set emulation

  2005cited by this paper
• Security types preserving compilation

  2004cited by this paper
• On the effectiveness of address-space randomization

  2004cited by this paper
• Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits

  2003cited by this paper
• Types and programming languages: the next generation

  2003cited by this paper
• Countering code-injection attacks with instruction-set randomization

  2003cited by this paper
• Secure Execution via Program Shepherding

  2002cited by this paper
• Axioms for Recursion in Call-by-Value

  2001cited by this paper
• Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*

  2000cited by this paper
• From system F to typed assembly language

  1999cited by this paper
• Secrecy by typing in security protocols

  1999cited by this paper
• Protection in Programming-Language Translations

  1998cited by this paper
• Foundations for Programming Languages by John C. Mitchell, MIT Press, 1996.

  1997cited by this paper
• Building diverse computer systems

  1997cited by this paper
• Foundations of programming languages

  1996cited by this paper
• A sound type system for secure flow analysis

  1996cited by this paper
• Anonymous RPC: Low-Latency Protection in a 64-Bit Address Space

  1993cited by this paper
• The PAX project

  1992cited by this paper
• Notions of Computation and Monads

  1991cited by this paper
• Computational lambda-calculus and monads

  1989cited by this paper
• Cryptography and Data Security

  1982cited by this paper
• Protection in programming languages

  1973cited by this paper

• Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation

  2025cites this paper
• Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs

  2025cites this paper
• FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

  2024cites this paper
• On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead)

  2024cites this paper
• Universal Composability Is Robust Compilation

  2024cites this paper
• SECOMP: Formally Secure Compilation of Compartmentalized C Programs

  2024cites this paper
• DimSum: A Decentralized Approach to Multi-language Semantics and Verification

  2023cites this paper
• Two Parametricities Versus Three Universal Types

  2022cites this paper
• Blame-Preserving Secure Compilation

  2022cites this paper
• When Good Components Go Bad: Formally Secure When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise Compilation Despite Dynamic Compromise

  2021cites this paper
• Secure Optimization Through Opaque Observations

  2021cites this paper
• Robustly Safe Compilation, an Efficient Form of Secure Compilation

  2021influential citation
• Reconciling optimization with secure compilation

  2021cites this paper
• WebAssembly as a Multi-Language Platform

  2020cites this paper
• Secure delivery of program properties through optimizing compilation

  2020cites this paper
• Robustly Safe Compilation

  2019influential citation
• The Quest for Formally Secure Compartmentalizing Compilation

  2019influential citation
• Formal Approaches to Secure Compilation

  2019cites this paper
• Protecting Computer Systems from Cyber Attacks with Internal Interface Diversification

  2019cites this paper
• Weird Machines as Insecure Compilation

  2019cites this paper
• Memory Safety Preservation for WebAssembly

  2019influential citation
• Linear capabilities for fully abstract compilation of separation-logic-verified code

  2019cites this paper
• Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

  2018cites this paper
• When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

  2018influential citation
• 1 Formal Approaches to Secure Compilation

  2018cites this paper
• Robustly Safe Compilation or, Efficient, Provably Secure Compilation

  2018influential citation
• Exploring Robust Property Preservation for Secure Compilation

  2018cites this paper
• Diversification and obfuscation techniques for software security: A systematic literature review

  2018cites this paper
• Reasoning about Probabilistic Defense Mechanisms against Remote Attacks

  2017cites this paper
• Program Counter Encoding for ARM® Architecture

  2017cites this paper
• Secure Compilation and Hyperproperty Preservation

  2017influential citation
• Parametricity versus the universal type

  2017cites this paper
• Towards Automatic Compartmentalization of C Programs on Capability Machines

  2017influential citation
• The Meaning of Memory Safety

  2017cites this paper
• Modular, Fully-abstract Compilation by Approximate Back-translation

  2017influential citation
• Fully abstract compilation via universal embedding

  2016cites this paper
• Interface Diversification in IoT Operating Systems

  2016cites this paper
• Beyond Good and Evil: Formalizing the Security Guarantees of Low-Level Compartmentalization

  2016cites this paper
• Security Guarantees for the Execution Infrastructure of Software Applications

  2016cites this paper
• Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

  2016cites this paper
• Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization

  2016cites this paper
• On Modular and Fully-Abstract Compilation

  2016influential citation
• On Modular and Fully-Abstract Compilation - Technical Appendix

  2016influential citation
• A Survey on Internal Interfaces Used by Exploits and Implications on Interface Diversification

  2016cites this paper
• Random table and hash coding-based binary code obfuscation against stack trace analysis

  2016cites this paper
• Protecting Functional Programs From Low-Level Attackers

  2016cites this paper
• Secure Compilation as Hyperproperties Preservation

  2016influential citation
• Poster: Towards a Fully Abstract Compiler Using Micro-Policies

  2016cites this paper
• Micro-Policies: Formally Verified, Tag-Based Security Monitors

  2015cites this paper
• Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components

  2015influential citation
• Fully abstract trace semantics for protected module architectures

  2015cites this paper
• IterationObfuscation Based on Instruction Fragment Diversification and Control FlowRandomization

  2015cites this paper
• Secure Compilation to Protected Module Architectures

  2015influential citation
• Secure Compilation Using Micro-Policies ( Extended Abstract )

  2015cites this paper
• Micro-Policies: Formally Verified, Tag-Based Security Monitors

  2015cites this paper
• Fully-abstract compilation by approximate back-translation

  2015cites this paper
• The Meaning of Attack-Resistant Systems

  2015influential citation
• A Complete Bibliography of ACM Transactions on Information and System Security

  2015cites this paper
• Formally Verified, Tag-Based Security Monitors

  2015cites this paper
• Computer network deception as a Moving Target Defense

  2015cites this paper
• The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures ; Het boek van veilige compilatie: Volledig abstracte compilatie naar beschermende modulearchitecturen

  2015influential citation
• Short Paper: The Meaning of Attack-Resistant Systems

  2015influential citation
• Operational Semantics for Secure Interoperation

  2014cites this paper
• Micro-Policies : A Framework for Verified , Tag-Based Security Monitors

  2014influential citation
• Micro-Policies A Framework for Verified, Hardware-Assisted Security Monitors

  2014cites this paper
• Layout Randomization and Nondeterminism

  2014cites this paper
• Verified and Optimized Inlined Reference Monitors

  2013cites this paper
• On Layout Randomization for Arrays and Functions

  2013influential citation
• Edinburgh Explorer Layout Randomization and Nondeterminism

  2013influential citation
• Verified and Optimized Inlined Reference Monitors PhD Candidacy Proposal

  2013cites this paper
• Layout Randomization and Nondeterminism

  2013influential citation
• Secure Compilation of Object-Oriented Components to Protected Module Architectures

  2013influential citation
• Proving cryptographic C programs secure with general-purpose verification tools

  2013cites this paper
• Fully abstract compilation to JavaScript

  2013cites this paper
• Fides: selectively hardening software application components against kernel-level or process-level malware

  2012cites this paper
• Secure Compilation to Modern Processors

  2012cites this paper
• Syntax and semantics of f ⋆

  2012cites this paper
• Recent Developments in Low-Level Software Security

  2012influential citation
• FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems

  2012cites this paper
• Formal verification of security protocol implementations: a survey

  2012cites this paper
• Software Security: A Formal Perspective - (Notes for a Talk)

  2012cites this paper
• Secure Compilation to Modern Processors : Extended Version

  2012influential citation
• Local Memory via Layout Randomization

  2011influential citation
• Multi-stage Binary Code Obfuscation Using Improved Virtual Machine

  2011cites this paper
• Draft Alpha is for Address ! The Essence of Memory Safety

  year unknowncites this paper
• Ieee Transactions on Systems, Man, and Cybernetics -part C 1 Fpga Based Remote Code Integrity Verification of Programs in Distributed Embedded Systems

  year unknowncites this paper
• Internship Topics on SECOMP: Formally Secure Compilation of Compartmentalized C Programs

  year unknowncites this paper
• TORINO Repository ISTITUZIONALE

  year unknowncites this paper
• TORINO Repository ISTITUZIONALE

  year unknowncites this paper