PAPER DOI: security protocols, timed interpreted systems, satisfiability modulo theories

technical paper

AAMAS 2020

May 10, 2020

Live on Underline

VerSecTis - An Agent Based Model Checker for Security Protocols (Demo)

Please log in to leave a comment


SlidesTranscript English (automatic)

Next from AAMAS 2020

technical paper

Conditional Updates of Answer Set Programming and its Applicationin Explainable Planning

AAMAS 2020

Stylianos Loukas Vasileiou and 3 other authors

11 May 2020

Similar lecture


Practical Parallel Algorithms for Submodular Maximization subject to a Knapsack Constraint with Nearly Optimal Adaptivity

AAAI 2023

Kai Han and 5 other authors

11 February 2023

Stay up to date with the latest Underline news!


  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved