| A Forward-Secure Digital Signature Scheme M Bellare, S Miner CRYPTO 1666, 1999 | 1003 | 1999 |
| Self-Healing Key Distribution with Revocation J Staddon, S Miner, M Franklin, D Balfanz, M Malkin, D Dean IEEE Security and Privacy, 2002 | 307 | 2002 |
| Efficient Generic Forward-Secure Signatures With an Unbounded Number of Time Periods T Malkin, D Micciancio, S Miner Eurocrypt 2332, 2002 | 241 | 2002 |
| Graph-Based Authentication of Digital Streams S Miner, J Staddon IEEE Security and Privacy, 2001 | 230 | 2001 |
| Forward-Secure Threshold Signature Schemes M Abdalla, S Miner, C Namprempre RSA 2020, 2001 | 139 | 2001 |
| Systems and methods for non-interactive session key distribution with revocation JN Staddon, TA Berson, M Franklin, S More, M Malkin, RC Merkle, ... US Patent 7,400,732, 2008 | 82 | 2008 |
| Sliding-window self-healing key distribution SM More, M Malkin, J Staddon, D Balfanz Proceedings of the 2003 ACM workshop on Survivable and self-regenerative …, 2003 | 78 | 2003 |
| Anonymous credentials with biometrically-enforced non-transferability R Impagliazzo, SM More Proceedings of the 2003 ACM Workshop on Privacy in the Electronic Society, 60-71, 2003 | 42 | 2003 |
| Optimizing timetabling solutions using graph coloring S Miner, S Elmohamed, HW Yau NPAC, Syracuse University, 99-106, 1995 | 37 | 1995 |
| An independence relation for sets of secrets SM More, P Naumov Studia Logica 94, 73-85, 2010 | 22 | 2010 |
| Hypergraphs of multiparty secrets S Miner More, P Naumov Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010 | 16 | 2010 |
| The functional dependence relation on hypergraphs of secrets SM More, P Naumov International Workshop on Computational Logic in Multi-Agent Systems, 29-40, 2011 | 15 | 2011 |
| On interdependence of secrets in collaboration networks SM More, P Naumov Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009 | 15 | 2009 |
| Concrete Security Characterizations of PRFs and PRPs: Reductions and Applications A Desai, S Miner Asiacrypt 1976, 2000 | 15 | 2000 |
| Calculus of cooperation and game-based reasoning about protocol privacy SM More, P Naumov ACM Transactions on Computational Logic (TOCL) 13 (3), 1-21, 2012 | 12 | 2012 |
| Information flow on directed acyclic graphs M Donders, S Miner More, P Naumov Logic, Language, Information and Computation: 18th International Workshop …, 2011 | 12 | 2011 |
| Logic of secrets in collaboration networks SM More, P Naumov Annals of Pure and Applied Logic 162 (12), 959-969, 2011 | 9 | 2011 |
| Concurrency semantics for the Geiger-Paz-Pearl axioms of independence S Miner More, P Naumov, B Sapp Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011 | 9 | 2011 |
| Independence and functional dependence relations on secrets R Kelvey, SM More, P Naumov, B Sapp Twelfth International Conference on the Principles of Knowledge …, 2010 | 9 | 2010 |
| Composition and efficiency tradeoffs for forward-secure digital signatures T Malkin, D Micciancio, S Miner Cryptology ePrint Archive, 2001 | 9 | 2001 |
Pavel NaumovUniversity of SouthamptonAdresse e-mail validée de soton.ac.uk
