28 citations · 35 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017
Existential Assertions for Voting Protocols
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
In earlier work, we extend the Dolev-Yao model with assertions. We build on that work and add existential abstraction to the language, which allows us to translate common construct…
cs.AI2017★ 7 cited
A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems
Aneta Vulgarakis Feljan, Athanasios Karapantelakis, Leonid Mokrushin +6
Cyber-Physical Systems in general, and Intelligent Transport Systems (ITS) in particular use heterogeneous data sources combined with problem solving expertise in order to make cri…