7 citations · 21 across the 8 of their papers we have counts for
1 paper · 2 filters
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows +2
We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information a…