Department of Mathematics
University of Pennsylvania
209 South 33rd Street
Philadelphia, PA 19104-6395 U.S.A.
Photo by Nikola Scedrov.
Andre Scedrov's selected publications.
Science of Cyber Security: Modeling, Composition, and Measurement .
Penn Logic and Computation Group.
IEEE Computer Security Foundations Symposium.
ACM/IEEE Symposium on Logic in Computer Science.
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC 2015).
4th Conference on Principles of Security and Trust (POST 2015).
The 10th International Computer Science Symposium in Russia.
4th Conference Logic and Applications 2015 (LAP 2015).
NII Shonan Meeting on Logic and Verification Methods in Security and Privacy.
Problems in Theoretical Computer Science, Joint Conference of Computer Science Faculty of HSE Moscow and Laboratory of Mathematical Logic PDMI St. Petersburg.
Symposium on Logical Foundations Of Computer Science (LFCS 2016).
Fourth International Workshop on Linearity (Linearity 2016).