Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
DL
David Lie
Security and Verification in Computing
University of Toronto
Share
Follow
Claim This Profile
About
Research focus
Security and Verification in Computing
Impact
120 pubs · 3,903 cites · h-index 25
Affiliations
University of Toronto
Carleton University
Vector Institute
See all
Publications