2 citations · 2 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
Machine Reasoning Explainability
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik +5
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainabl…
cs.CR2020★ 2 cited
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Constrained IoT devices are becoming ubiquitous in society and there is a need for secure communication protocols that respect the constraints under which these devices operate. ED…