Because expressions do not alter the stack, or produce any output, we could give an evaluation function for expressions which is not monadic, or which uses a simpler monad than the monad defined above ...

The indirect overflow via pointers [4] overflows a buffer to overwrite a pointer, which is used subsequently to overwrite a code pointer. With this technique it is possible to overwrite the return ...

Many thanks to Dan Crawl from the University of Colorado, for putting together this checklist based on his own exchange experiences. We hope you will find this useful in planning your exchange. While ...

USENIX offers several additional discounts to help you to attend SREcon25 Americas, including a discount for USENIX members who are unemployed or retired, or lack employer support. The USENIX ...

Submitted by casey on February 4, 2025 - 2:47 pm ...

Joeri de Ruiter, University of Birmingham; Erik Poll, Radboud University Nijmegen ...

Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc.

``Solar Designer'' has developed a Linux patch that makes the stack non-executable [6], precisely to address the stack smashing problem. This patch simply makes the stack portion of a user process's ...

Will Scott, Thomas Anderson, Tadayoshi Kohno, and Arvind Krishnamurthy, University of Washington ...

Eleftherios Kokoris Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi, Linus Gasser, and Bryan Ford, École Polytechnique Fédérale de Lausanne (EPFL) ...

Bianca Schroeder, University of Toronto; Raghav Lagisetty and Arif Merchant, Google, Inc.

Crispin Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, and Qian Zhang, Oregon Graduate Institute of Science & Technology; Heather Hinton, Ryerson ...