Cited By
View all- Dragoni NGadyatskya OMassacci F(2012)Supporting Software Evolution for Open Smart Cards by Security-by-ContractDependability and Computer Engineering10.4018/978-1-60960-747-0.ch013(285-305)Online publication date: 2012
- Dragoni NLostal EGadyatskaya OMassacci FPaci F(2011)A Load Time Policy Checker for Open Multi-application Smart CardsProceedings of the 2011 IEEE International Symposium on Policies for Distributed Systems and Networks10.1109/POLICY.2011.40(153-156)Online publication date: 6-Jun-2011
- Voronkov ANarasamdya I(2009)Inter-program PropertiesStatic Analysis10.1007/978-3-642-03237-0_23(343-359)Online publication date: 2009
- Show More Cited By