History-Dependent Scheduling for Cryptographic Processes
Abstract elided by the publisher.
Related papers
- Debugging Concurrent Processes: A Case Study PLDI 1988
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- VirtCL: a framework for OpenCL device abstraction and management PPoPP 2015
- Pipelonk: Accelerating End-to-End Zero-Knowledge Proof Generation on GPUs for PLONK-Based Protocols PPoPP 2026
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ECOOP 2018
- Demonic Memories for Process Histories PLDI 1989
- A Unified Memory Dependency Framework for Speculative High-Level Synthesis CC 2024
- Slicing Real-Time Programs for Enhanced Schedulability TOPLAS 1997