Dr. Dusko P***

Some Slides Bibtex Base Science of Trust Some Recent Talks Publication Details Sorry about the Mess Abstract Extensionality Secure Protocol Composition Gaming Security by Obscurity Computer Networks Computer Graphics Computer Vision CV Information Retrieval Web Information Systems AI Security and Robustness Microarchitecture Security Data Mining Deep Learning Machine Learning Mobile Computing Operating Systems Network Protocols Autonomous Agents Big Data Analytics Explainable AI Xai Distributed Systems Formal Verification Automated Reasoning SAT and SMT Solvers Software Engineering