14 citations · 48 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 6 cited
A Component-oriented Framework for Autonomous Agents
Tobias Kappé, Farhad Arbab, Carolyn Talcott
The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meanin…
cs.LO2017★ 14 cited
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
Many security protocols rely on the assumptions on the physical properties in which its protocol sessions will be carried out. For instance, Distance Bounding Protocols take into a…