Andre Scedrov
Professor of Mathematics and
Computer and Information Science (CIS)
Honors and Awards: Japan Society for the Promotion of Science Senior Fellow - 1997, American Mathematical Society Centennial Research Fellow - 1993
Research Expertise: Security and Information Assurance | Logic and Computation
Andre's research interests include logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, and formal methods.
Recent Publications 
- Reduction-based analysis of BGP systems with BGPVerif, Wang, A. | Gurney, A.J.T. | Han, X. | Cao, J. | Talcot, C. | Loo, B.T. | Scedrov, A., SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication, 2012
- Brief announcement: A calculus of policy-based routing systems, Wang, A. | Talcott, C. | Gurney, A. | Loo, B.T. | Scedrov, A., Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 2012
- Declarative privacy policy: Finite models and Attribute-Based Encryption, Lam, P.E. | Mitchell, J.C. | Scedrov, A. | Sundaram, S. | Wang, F., IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium, 2012
- Maintaining distributed logic programs incrementally, Nigam, V. | Jia, L. | Loo, B.T. | Scedrov, A., PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming, 2011
- Analyzing BGP instances in Maude, Wang, A. | Talcott, C. | Jia, L. | Loo, B.T. | Scedrov, A., Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011