[PriSC'24] Computational-Bounded Robust Compilation and Universally Composable Security

[PriSC'24] Computational-Bounded Robust Compilation and Universally Composable SecurityПодробнее

[PriSC'23] Robust Constant-Time CryptographyПодробнее

[PriSC'24] Gradual Verification for Smart ContractsПодробнее

[PriSC'23] Universally Composable Security for Program PartitioningПодробнее

Universal Composability is Secure CompilationПодробнее

CONSAC: Robust Multi-Model Fitting by Conditional Sample ConsensusПодробнее

Concurrently composable security with shielded super polynomial simulatorsПодробнее

Robust transforming combiners from indistinguishability obfuscation to functional encryptioПодробнее

A Simpler Variant of Universally Composable Security for Standard Multiparty ComputationПодробнее

[PriSC'24] Towards Modular Specification and Verification of Concurrent Hypervisor-based I...Подробнее

[PriSC'24] All the Binaries Together: A Semantic Approach to Application Binary InterfacesПодробнее

Multi-Arm Payload Manipulation via Mixed Reality - ICRA 2022 Accompanying videoПодробнее

SPC Vanderbilt Control4 v1 0 intrusion security system intergrationПодробнее