TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A | |

attribute-based access control | |

C | |

CompCert | |

constant-time security | |

Coq proof assistant | |

Cryptographic protocols | |

D | |

description logics | |

distance bounding protocols | |

Distance fraud | |

Distance-bounding protocols | |

E | |

Equivalence | |

F | |

first-order logic | |

Formal Methods | |

Formal Model | |

formal verification | |

functor | |

G | |

Groupoid | |

H | |

higher inductive type | |

Homotopy | |

I | |

Identity type | |

Internet of Things | |

L | |

logical formalism | |

M | |

Maude | |

N | |

Network Intrusion Detection | |

P | |

policy language | |

Probabilistic rewriting | |

Q | |

Quasi-inverse | |

S | |

Satisfiability Modulo Theories | |

security protocols | |

Statistical Model Checking | |

symbolic models | |

Synthetic Data | |

T | |

timing attacks | |

U | |

Univalence | |

Universe | |

V | |

Verification | |

verified compilation |