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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.