User loginNavigation |
Compiling 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 | previous forum topic | next forum topic | other blogs | 3202 reads
|
Browse archives
Active forum topics |
Recent comments
6 days 2 hours ago
41 weeks 20 hours ago
41 weeks 1 day ago
41 weeks 1 day ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago