Search everything
Home
Research Intelligence
Expert Finder
Scinapse Trends
Paper Search
Journal Search
Collections
Favorites
History
Submit Feedback
doi.org/10.1016/j.comnet.2020.107233
Towards formal verification of IoT protocols: A Review
Katharina Hofer-Schmitz
7
,
Branka Stojanović
10
View all 2 authors
Computer Networks
4.60
Volume: 174, Pages: 107233 - 107233
Published
: Mar 30, 2020
70
Citations
Source
Cite
Basic Info
Analytics
References
Citations
Paper Fields
Formal verification
Cryptography
Pure mathematics
Mathematics
Epistemology
Variety (cybernetics)
Software engineering
Philosophy
Artificial intelligence
Computer science
A priori and a posteriori
Theoretical computer science
Field (mathematics)
Cryptographic protocol
Computer security
Formal methods
Paper Details
Title
Towards formal verification of IoT protocols: A Review
DOI
doi.org/10.1016/j.comnet.2020.107233
Published Date
Mar 30, 2020
Journal
Computer Networks
Volume
174
Pages
107233 - 107233
Notes
History
View all history