Home Download DocumentationFeatures Support Links Donations Sponsors Research Papers Contact
Stable:
Download stable patch2.9-2.6.32.59
Last updated: 05/15/12
Download stable patch2.9-3.2.17
Last updated: 05/15/12 Test:
Download test patch2.9-3.3.6
Last updated: 05/15/12
More News >>
Academic Research Publications Mentioning grsecurity/PaX
We provide below links to academic research papers publications which mention grsecurity and/or PaX. If the full text PDF of the publication was not available, a link to its abstract is given. If you know of, or are the author of a research paper which should be included here, please contact me.
1. Gran: model checking grsecurity RBAC policies, 2012
2. Microsoft Research - RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization, 2007
3. Microsoft Research - Data Randomization, 2008
4. Microsoft Research - Control-flow integrity, 2005
5. StackGhost: Hardware Facilitated Stack Protection, 2001
6. Secure program execution via dynamic information flow tracking, 2006
7. Type-Assisted Dynamic Buffer Overflow Detection, 2002
8. Address obfuscation: An efficient approach to combat a broad range of memory error exploits, 2003
9. Protecting global and static variables from buffer overflow attacks without overhead, 2006
10. Context Sensitive Anomaly Monitoring of Process Control Flow to Detect Mimicry Attacks and Impossible Paths, 2004
11. A Methodology for Designing Countermeasures Against Current and Future Code Injection Attacks, 2005
12. e-nexsh: Achieving an effectively non-executable stack and heap via system-call policing, 2005
13. Stackguard: Simple smash stack protection for GCC, 2003
14. Run-time detection of heap-based overflows, 2003
15. Avoiding Buffer Overflows and Related Problems, 2004
16. Server Protection through Dynamic Patching, 2005
17. SELinux and grsecurity: A Side-by-Size Comparison of Mandatory Access Control and Access Control List Implementations, 2003
18. SELinux and grsecurity: A Case Study Comparing Linux Security Kernel Enhancements, 2003
19. RSBAC-a framework for enhanced Linux system security, 2005
20. Secure computing: SELinux, 2007
21. Attacking Signed Binaries, 2005
22. Distributed control enabling consistent MAC policies and IDS based on a meta-policy approach, 2006
23. Formalisation et garantie de propriétés de sécurité système: application à la détection d'intrusions, 2007
24. Securing a Linux-based Multi-User Web Server, 2006
25. Exploiting 802.11 Wireless Driver Vulnerabilities on Windows, 2006
26. Détection D'intrusion Orientée Méta-Politique, 2005
27. Abstract Efficient Techniques for Comprehensive Protection from Memory Error Exploits, 2005
28. Predicting Security Vulnerabilities from Function Calls, 2007
29. ARMORY: An auxiliary testing tool for automatic buffer overflow vulnerability detection, 2008
30. Next generation debuggers for reverse engineering, 2007
31. Centralized security policy support for virtual machine, 2006
32. Secure remote management and software distribution for wireless mesh networks, 2007
33. Attack-Redirector: A Server Protection and Honeypot Bait System, 2008
34. A novel approach for distributed updates of MAC policies using a meta-protection framework, 2004
35. A Linux Implementation of Temporal Access Controls, 2007
36. FormatShield: A Binary Rewriting Defense against Format String Attacks, 2008
37. Playing with ptrace() for fun and profit, 2006
38. Increasing Information Security with Mandatory Access Controls in the Operating System, 2006
39. Address Space Layout Permutation: Increasing Resistance to Memory Corruption Attacks, 2005
40. Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems, 2005
41. On the effectiveness of address-space randomization, 2004
42. Collaboration between MAC Policies and IDS based on a Meta-Policy approach, 2006
43. An Architectural Approach to Preventing Code Injection Attacks, 2007
44. Alternative Xbox copy protection designs, 2005
45. Software Security through Targeted Diversification, 2007
46. Code Injection Attacks on Harvard-Architecture Devices, 2008
47. When good instructions go bad: generalizing return-oriented programming to RISC, 2008
48. Covert Debugging Circumventing Software Armoring Techniques, 2007
49. Buffer Overflow Vulnerabilities: Exploits and Defensive Techniques, 2004
50. Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities, 2008
51. The FOREVER service for fault/intrusion removal, 2008
52. Detection and Subversion of Virtual Machines, 2006
53. Persistence in dynamic code transformation systems, 2005
54. Panel: The Future of Biologically-Inspired Security: Is There Anything Left to Learn?, 2007
55. Improved Network Security and Disguising TCP/IP Fingerprint through Dynamic Stack Modification, 2005
56. Corruption de la Memoire lors de l'Exploitation, 2006
57. Defeating memory corruption attacks via pointer taintedness detection, 2005
58. Immunology, diversity, and homeostasis: The past and future of biologically inspired computer defenses, 2007
59. Insecure Context Switching: Inoculating regular expressions for survivability, 2008
60. Ensuring secure program execution in multiprocessor embedded systems: a case study, 2007
61. Defeating Compiler-Level Buffer Overflow Protection, 2006
62. Reverse Stack Execution, 2007
63. Secure and practical defense against code-injection attacks using software dynamic translation, 2006
64. Omniunpack: Fast, generic, and safe unpacking of malware, 2007
65. Prevention of code-injection attacks by encrypting system call arguments, 2006
66. Non-control-data attacks are realistic threats, 2005
67. Combating Memory Corruption Attacks On Scada Devices, 2008
68. Address-space randomization for Windows systems, 2006
69. DieHard: Probabilistic memory safety for unsafe languages, 2006
70. Secure Bit: Transparent, Hardware Buffer-Overflow Protection, 2006
71. Improving address space randomization with a dynamic offset randomization technique, 2006
72. x86-64 buffer overflow exploits and the borrowed code chunks exploitation technique, 2005
73. Known/chosen key attacks against software instruction set randomization, 2006
74. A Survey of Randomization Techniques Against Common Mode Attacks, 2005
75. An immune system inspired approach for protection from repetitive attacks, 2005
76. Efficient protection against heap-based buffer overflows without resorting to magic, 2006
77. Resilient Intrusion Tolerance through Proactive and Reactive Recovery, 2007
78. Virtual machine-provided context sensitive page mappings, 2008
79. Persistent code caching: Exploiting code reuse across executions and applications, 2007
80. The geometry of innocent flesh on the bone: Return-into-libc without function calls (on the x86), 2007
81. ARCHERR: Runtime environment driven program safety, 2004
82. Foreign Code Detection on the Windows/X86 Platform, 2006
83. Where's the FEEB?: The effectiveness of instruction set randomization, 2005
84. Efficient techniques for comprehensive protection from memory error exploits, 2005
85. Exterminator: Automatically correcting memory errors with high probability, 2007
86. Automatic diagnosis and response to memory corruption vulnerabilities, 2005
87. Data space randomization, 2008
88. The Evolution of System-Call Monitoring, 2008
89. MemSherlock: an automated debugger for unknown memory corruption vulnerabilities, 2007
90. DIRA: Automatic Detection, Identification, and Repair of Control-Hijacking Attacks, 2004
91. A practical mimicry attack against powerful system-call monitors, 2008
92. SigFree: A Signature-free Buffer Overflow Attack Blocker, 2006
93. Kernel Support for Redundant Execution on Multiprocessor Systems, 2007
94. Kernel Support for Deterministic Redundant Execution of Shared Memory Workloads on Multiprocessor Systems, 2007
95. Real-world buffer overflow protection for userspace & kernelspace, 2008
96. ASLR Smack & Laugh Reference: Seminar on Advanced Exploitation Techniques, 2008
97. Comprehensively and efficiently protecting the heap, 2006
98. Hardened OS exploitation techniques, 2004
99. A Security Architecture for Microprocessors, 2003
100. Hypervisor support for identifying covertly executing binaries, 2008
101. Using instruction block signatures to counter code injection attacks, 2005
102. Automatic generation of buffer overflow attack signatures: An approach based on program behavior models, 2005
103. Address space layout permutation (ASLP): Towards fine-grained randomization of commodity software, 2006
104. Bezoar: Automated Virtual Machine-based Full-System Recovery from Control-Flow Hijacking Attacks, 2007
105. Deploying dynamic code transformation in modern computing environments, 2006
106. Binary rewriting and call interception for efficient runtime protection against buffer overflows, 2006
107. Control-flow integrity: Principles, implementations, and applications, 2005
108. Randomized instruction set emulation, 2005
109. Implementation vulnerabilities and detection, 2007
110. Proactive Obfuscation, 2009
111. Orchestra: Intrusion Detection Using Parallel Execution and Monitoring of Program Variants in User-Space, 2009
112. An Integrated Framework for Dependable and Revivable Architectures Using Multicore Processors, 2006
113. Paladin: Helping Programs Help Themselves with System Call Interposition, 2009
114. Automatic Generation of Control Flow Hijacking Exploits for Software Vulnerabilities, 2009
115. Classification of Malicious Distributed SELinux Activities, 2009
116. Polymorphing Software By Randomizing Data Structure Layout, 2009
117. Yataglass: Network-Level Code Emulation for Analyzing Memory-Scanning Attacks, 2009
118. Finding the Bad in Good Code: Automated Return-Oriented Programming Exploit Discovery, 2009
119. Experimental Validation of Architectural Solutions, 2009
120. Multi-Variant Execution: Run-Time Defense against Malicious Code Injection Attacks, 2009
121. Breaking the memory secrecy assumption, 2009
122. Security by Design, 2009
123. The Impact of Linux Superuser Privileges on System and Data Security within a Cloud Computing Storage Architecture, 2009
124. Return-oriented rootkits: Bypassing kernel code integrity protection mechanisms, 2009
125. Specification and evaluation of polymorphic shellcode properties using a new temporal logic, 2009
126. Yataglass: Network-level Code Emulation for Analyzing Memory-scanning Attacks, 2009
127. Protecting Xen hypercalls, 2009
128. The Impact of Linux Superuser Privileges on System and Data Security Within a Cloud Computing Storage Architecture, 2009
129. An Examination of the Generic Memory Corruption Exploit Prevention Mechanisms on Apple's Leopard Operating System, 2009
130. A System Call Randomization Based Method for Countering Code-Injection Attacks, 2009
131. Surgically returning to randomized lib (c), 2009
132. Architecture Support for Operating System Survivability and Efficient Bulk Memory Copying and Initialization, 2009
133. Leveraging Parallel Hardware to Detect, Quarantine, and Repair Malicious Code Injection, 2010
134. Malicious Shellcode Detection with Virtual Memory Snapshots, 2010
135. Program Differentiation, 2010
136. A Comprehensive Analysis of MAC Enhancements for Leveraging Distributed MAC, 2008
137. A Novel Approach Against the System Buffer Overflow [abstract], 2010
138. Automated Software Vulnerability Analysis [abstract], 2009
139. Probability Based Risk Analysis for a VoIP System [abstract], 2009
140. A DLL Protection Mechanism with Larger Random Entropy for Windows Vista [abstract], 2009
141. Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks [abstract], 2009
142. Address-space layout randomization using code islands [abstract], 2009
143. Security Systems Design and Analysis Using an Integrated Rule-Based Systems Approach [abstract], 2005
144. AIFD: A Runtime Solution to Buffer Overflow Attack [abstract], 2007
145. Hardware Stack Design: Toward an Effective Defence Against Frame Pointer Overwrite Attacks [abstract], 2006
146. An Efficient Pointer Protection Scheme to Defend Buffer Overflow Attacks [abstract], 2005
147. Design and Implementation of an Extended Reference Monitor for Trusted Operating Systems [abstract], 2006
148. Enforcement of Integrated Security Policy in Trusted Operating Systems [abstract], 2007
149. Application of an Online Judge & Contester System in Academic Tuition [abstract], 2008
150. Return Address Randomization Scheme for Annuling Data-Injection Buffer Overflow Attacks [abstract], 2006
151. Rootkit modeling and experiments under Linux [abstract], 2008
152. PrISM: Automatic Detection and Prevention from Cyber Attacks [abstract], 2008
153. A Theory of Secure Control Flow [abstract], 2005
154. Detection and Diagnosis of Control Interception [abstract], 2008
155. Efficient and Practical Control Flow Monitoring for Program Security [abstract], 2008
156. Static Analysis on x86 Executables for Preventing Automatic Mimicry Attacks [abstract], 2007
157. Linux 2.6 kernel exploits [abstract], 2007
158. A Policy Language for the Extended Reference Monitor in Trusted Operating Systems [abstract], 2007
159. Intrusion detection and security policy framework for distributed environments [abstract], 2005
160. Integration of trusted operating system from open source [abstract], 2003
161. Towards the specification of access control policies on multiple operating systems [abstract], 2004
162. Detecting kernel-level rootkits through binary analysis [abstract], 2004
163. A Collaborative Approach for Access Control, Intrusion Detection and Security Testing [abstract], 2006
164. Buffer overflow protection based on adjusting code segment limit [abstract], 2005
165. The Design of a Generic Intrusion Tolerant Architecture for Web Servers [abstract], 2008
166. Supporting access control policies across multiple operating systems [abstract], 2005
167. Model-driven configuration of os-level mandatory access control: research abstract [abstract], 2008
168. A simple implementation and performance evaluation extended-role based access control [abstract], 2005
169. Design space and analysis of worm defense strategies [abstract], 2006
170. ASSURE: automatic software self-healing using rescue points [abstract], 2009
171. Self-healing control flow protection in sensor applications [abstract], 2009
172. Return Protector: A Protection Mechanism for Return-into-libc Attacks by Checking the Return Address [abstract], 2009
173. A specification language for information security policies [abstract], 2009
174. DROP: Detecting Return-Oriented Programming Malicious Code [abstract], 2009
175. Enforcement of Security Properties for Dynamic MAC Policies [abstract], 2009
176. Generation of Role Based Access Control Security Policies for Java Collaborative Applications [abstract], 2009
177. A Lightweight Buffer Overflow Protection Mechanism with Failure-Oblivious Capability [abstract], 2009

Site design by Hal Bergman, HTML/CSS by Piotr Karbowski
© Open Source Security, Inc. 2011