Skip to content

Channing Smith

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2024–2025

Best venue rank

B

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2025ICAARTFormal Analysis of Deontic Logic Model for Ethical Decisions.Krishnendu Ghosh, Channing Smith
2025ICAARTModel Abstractions for Verification of Ethical Autonomous System.Krishnendu Ghosh, Channing Smith
2024RAIDA Second Look at the Portability of Deep Learning Side-Channel Attacks over EM Traces.Mabon Ninan, Evan Nimmo, Shane Reilly, Channing Smith, Wenhai Sun, Boyang Wang, John Marty Emmert