Lengths May Break Privacy - Or How to Check for Equivalences with Length
No abstract available.
Related papers
- Commutativity for Concurrent Program Termination Proofs CAV 2023
- POSTER: Accelerating High-Precision Integer Multiplication used in Cryptosystems with GPUs PPoPP 2024
- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction VMCAI 2020
- Modeling Dynamic (De)Allocations of Local Memory for Translation Validation OOPSLA 2024
- Discovering machine-specific code improvements PLDI 1986
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization CGO 2014
- Prettyprinting TOPLAS 1980