Author:
Backes Michael,Hritcu Cǎtǎlin,Maffei Matteo
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models;Communications in Computer and Information Science;2020
2. Existential Assertions for Voting Protocols;Financial Cryptography and Data Security;2017
3. Affine Refinement Types for Secure Distributed Programming;ACM Transactions on Programming Languages and Systems;2015-08-13
4. Type Checking Privacy Policies in the π-calculus;Formal Techniques for Distributed Objects, Components, and Systems;2015
5. Extending Dolev-Yao with Assertions;Information Systems Security;2014