2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022
PFMC: a parallel symbolic model checker for security protocol verification
Alex James, Alwen Tiu, Nisansala Yatapanage
We present an investigation into the design and implementation of a parallel model checker for security protocol verification that is based on a symbolic model of the adversary, wh…
cs.LG2020★ 2 cited
The Why, What and How of Artificial General Intelligence Chip Development
Alex James
The AI chips increasingly focus on implementing neural computing at low power and cost. The intelligent sensing, automation, and edge computing applications have been the market dr…