Bryan Parno

Bryan Parno Bryan importerbot Tue, 01/24/2017 - 07:07 Parno Professor 2121 Mehrabian Collaborative Innovation Center bparno@andrew.cmu.edu (412) 268-2033 Computer Science Department CIT - Electrical and Computer Engineering http://www.andrew.cmu.edu/user/bparno/ Cryptography Distributed Systems Formal Methods Operating Systems Programming Languages Security Security and Privacy Software Verificati