Reference : Accelerated verification of parametric protocols with decision trees
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/45214
Accelerated verification of parametric protocols with decision trees
English
Li, Yongjian []
Cao, Taifeng []
Jansen, David []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Wei, Xiaotao []
2020
Proceedings of the 38th International Conference on Computer Design (ICCD)
IEEE
397-404
Yes
No
International
38th International Conference on Computer Design
2020
Researchers ; Professionals
http://hdl.handle.net/10993/45214
10.1109/ICCD50377.2020.00073

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ICCD20.pdfAuthor preprint535.84 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.