Concurrent Secrets with Quantified Suspicion

Loïc Hélouët, Hervé Marchand, John Mullins. Concurrent Secrets with Quantified Suspicion. In 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018. pages 75-84, IEEE Computer Society, 2018. [doi]

Abstract

Abstract is missing.