User loginNavigation |
archivesCompiling high-level code to cryptographyWe showed in a forthcoming paper (CSF'24) that a compiler can translate high-level sequential code into a distributed concurrent program that uses cryptography to achieve security. All source-level security properties are preserved -- robust hyperproperty preservation. This requires a new kind of compiler correctness proof based on the kind of simulation used in Universal Composability. By andru at 2024-01-25 13:02 | LtU Forum | login or register to post comments | other blogs | 6354 reads
|
Browse archivesActive forum topics |
Recent comments
2 days 11 hours ago
3 days 8 hours ago
4 days 13 hours ago
4 days 13 hours ago
1 week 2 days ago
1 week 2 days ago
1 week 2 days ago
4 weeks 3 days ago
5 weeks 1 day ago
5 weeks 1 day ago