logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods
