Login / Signup
Brandon Rozek
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Human Level Intelligence
Solving Problems
Cryptographic Algorithms
Cognitive Models
Top Venues
CoRR
GandALF
AGI
FroCoS
</>
Publications
</>
Selmer Bringsjord
,
James T. Oswald
,
Michael Giancola
,
Brandon Rozek
,
Naveen Sundar Govindarajulu
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds.
AGI
(2023)
James T. Oswald
,
Brandon Rozek
Parallel Verification of Natural Deduction Proof Graphs.
CoRR
(2023)
Dalton Chichester
,
Wei Du
,
Raymond Kauffman
,
Hai Lin
,
Christopher Lynch
,
Andrew M. Marshall
,
Catherine A. Meadows
,
Paliath Narendran
,
Veena Ravishankar
,
Luis Rovira
,
Brandon Rozek
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.
GandALF
(2022)
Hai Lin
,
Christopher Lynch
,
Andrew M. Marshall
,
Catherine A. Meadows
,
Paliath Narendran
,
Veena Ravishankar
,
Brandon Rozek
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.
FroCoS
(2021)
Andrew M. Marshall
,
Catherine Meadows
,
Paliath Narendran
,
Veena Ravishankar
,
Brandon Rozek
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).
UNIF
(2020)