Stefan Mitsch Senior Systems Scientist Research Areas: Embedded and cyber-physical systems Model development and analysis Perception Verification
Bryan Parno Associate Professor Research Areas: Cryptography Formal software verification Network security Operating systems Security and privacy Verification
