Browsing 2019 MU dissertations - Freely available online by Thesis Advisor "Chadha, Rohit"
Now showing items 1-2 of 2
-
Dynamic agent safety logic : theory and applications
(University of Missouri--Columbia, 2019)Modal logic is a family of logics for reasoning about relational structures, broadly construed. It sits at the nexus of philosophy, mathematics, software engineering, and economics. By modeling a target domain as a relational ... -
Machine-aided analysis of vote privacy using computationally complete symbolic attacker
(University of Missouri--Columbia, 2019)Security protocols employ cryptographic primitives such as encryption and digital signatures to provide security guarantees of confidentiality and authenticity in the presence of malicious attackers. Due to the complexities ...