Travelled to:
1 × Canada
Collaborated with:
G.d.K.Gans
Talks about:
smart (2) protocol (1) analys (1) logic (1) tool (1) test (1) card (1)
Person: Joeri de Ruiter
DBLP: Ruiter:Joeri_de
Contributed to:
Wrote 1 papers:
- ICST-2012-GansR #protocol #smarttech #testing
- The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.