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]

Authors

Loïc Hélouët

This author has not been identified. Look up 'Loïc Hélouët' in Google

Hervé Marchand

This author has not been identified. Look up 'Hervé Marchand' in Google

John Mullins

This author has not been identified. Look up 'John Mullins' in Google