Project Tags: Computer Science

Internet of Things Penetration Testing Lab

This proposal seeks to establish an Internet of Things (IoT) penetration testing lab at Carnegie Mellon University in Qatar. Our long-term intention is to help secure Qatar’s critical infrastructure by…

Automating the Meta-Theory of Proof Systems

Proving properties about proof systems is a necessary task to make sure that they are sound and satisfy basic criteria for the application being considered. Nevertheless, it is a tedious…