Cited By
View all- Backes MHriţcu CMaffei M(2018)Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementationsJournal of Computer Security10.5555/2595841.259584522:2(301-353)Online publication date: 24-Dec-2018
- Cortier VGrimm NLallemand JMaffei MThuraisingham BEvans DMalkin TXu D(2017)A Type System for Privacy PropertiesProceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security10.1145/3133956.3133998(409-423)Online publication date: 30-Oct-2017
- Esperança VLucrédio DMaldonado JFerrari FKulesza UUchôa Conte T(2017)Late Decomposition of Applications into Services through Model-Driven EngineeringProceedings of the XXXI Brazilian Symposium on Software Engineering10.1145/3131151.3131165(164-173)Online publication date: 20-Sep-2017
- Show More Cited By