AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Peter Van Rossum

Peter Van Rossum

Radboud University - Nijmegen / Netherlands
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1853948
Radboud Universiteit
person_outline Peter Van Rossum's MOST POPULAR ARTICLES
1-) Dismantling Mifare Classic European Symposium on Research in Computer Security, 97-114, 2008
2-) Wirelessly pickpocketing a Mifare Classic card IEEE Symposium on Security and Privacy, 3-15, 2009
3-) Efficient satisfiability modulo theories via delayed theory combination Computer Aided Verification, 443-454, 2005
4-) Provable anonymity ACM Workshop on Formal Methods in Security Engineering, 63-72, 2005
5-) MathSAT: Tight integration of SAT and mathematical decision procedures SAT 2005, 265-293, 2006