Cited By
View all- Vanezi EKouzapas DKapitsaki GPhilippou A(2020)Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System ModelsEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-40223-5_7(135-162)Online publication date: 9-Feb-2020
- Ramanujam RSundararajan VSuresh S(2017)Existential Assertions for Voting ProtocolsFinancial Cryptography and Data Security10.1007/978-3-319-70278-0_21(337-352)Online publication date: 19-Nov-2017
- Bugliesi MCalzavara SEigner FMaffei M(2015)Affine Refinement Types for Secure Distributed ProgrammingACM Transactions on Programming Languages and Systems10.1145/274301837:4(1-66)Online publication date: 13-Aug-2015
- Show More Cited By