Partnering learners and industry for success through workforce development
Aaron Hunter
Primary tabs
Research Interests
- Computational Logic
- Cyber Security
- Belief Change
- Information Security
- Knowledge Representation
- Reasoning in Artificial Intelligence
Biography
Lead Researcher, BCIT Centre for Cybersecurity
AI, Trust and Information Security
Faculty, School of Computing
Aaron holds a Ph.D. In Computing Science from Simon Fraser University, where he studied formal aspect of Knowledge Representation. Aaron’s research interests lie at the intersection of Artificial Intelligence and Information Security. His NSERC-funded research focuses on formal models for reasoning under uncertainty, and the practical utility of these models for solving problems in security, network communication, and resource management. In addition to his academic research experience, Aaron also has a background in the private sector where he has worked as a software developer and an industrial research analyst.
Recent Citations for Aaron Hunter
- Dynamic plan management in the context of a recognized air picture
- Modelling cryptographic protocols in a theory of action
- Belief modeling for maritime surveillance
- On the representation and verification of cryptographic protocols in a theory of action
- Arbitrary announcements in propositional belief revision
- Trust-sensitive belief revision
- Belief change with uncertain action histories
- Ordinal conditional functions for nearly counterfactual revision
- Spectrum hierarchies and subdiagonal functions
- Adding modal operators to the action language A
- Limiting cases for spectrum closure results
- Using ranking functions to determine plausible action histories
- Iterated belief change: a transition system approach
- Belief change in the context of fallible actions and observations
- An action description language for iterated belief change
- An explicit model of belief change for cryptographic protocol verification
- Belief change and cryptographic protocol verification
- Iterated belief change due to actions and observations
- Structured documents: signatures and deception
- Belief revision on modal accessibility relations
- Ranking functions for belief change: a uniform approach to belief revision and belief progression
- Belief revision and trust
- Belief manipulation and message meaning for protocol analysis
- Exploring power storage profiles for vehicle to grid systems
- On keeping secrets: intelligent agents and the ethics of information hiding
- Exploiting known vulnerabilities of a smart thermostat
- Mobile forensics for cloud data: practical and legal considerations
- A logical approach to promoting trust over knowledge to trust over action
- Belief manipulation through propositional announcements
- Security and trust for surveillance cameras
- Trust as a precursor to belief revision
- Bluetooth for decoy systems: a practical study
Subscribe to Aaron Hunter RSS feed