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 ...

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 ...

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 ...

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 ...

Franziska Roesner, Tadayoshi Kohno, and David Wetherall, University of Washington ...

Over the past five years, large-scale storage installations have required fault-protection beyond RAID-5, leading to a flurry of research on and development of erasure codes for multiple disk failures ...

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

William Melicher, Blase Ur, Sean M. Segreti, Saranga Komanduri, Lujo Bauer, Nicolas Christin, and Lorrie Faith Cranor, Carnegie Mellon University ...

``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 ...

Simurgh Aryan and Homa Aryan, Aryan Censorship Project; J. Alex Halderman, University of Michigan ...

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