|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Benoît Bertholon, Sébastien Varrette, Pascal Bouvry |
Certicloud: A Novel TPM-based Approach to Ensure Cloud IaaS Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CLOUD ![In: IEEE International Conference on Cloud Computing, CLOUD 2011, Washington, DC, USA, 4-9 July, 2011, pp. 121-130, 2011, IEEE Computer Society, 978-1-4577-0836-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Scyther, Avispa, Cloud Computing, TPM, IaaS |
34 | Tomás Rabas, Róbert Lórencz, Jirí Bucek |
Verification of PUF-based IoT Protocols with AVISPA and Scyther. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 19th International Conference on Security and Cryptography, SECRYPT 2022, Lisbon, Portugal, July 11-13, 2022., pp. 627-635, 2022, SCITEPRESS, 978-989-758-590-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Zeyad Mohammad |
Cryptanalysis and improvement of the YAK protocol with formal security proof and security verification via Scyther. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Syst. ![In: Int. J. Commun. Syst. 33(9), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Ruhul Amin 0001, Paras Lohani, McLican Ekka, Sunay Chourasia, Satyanarayana Vollala |
An enhanced anonymity resilience security protocol for vehicular ad-hoc network with Scyther simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 82, pp. 106554, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | R. Pradeep, N. R. Sunitha, V. Ravi, Sushma Verma |
Formal Verification of Authentication and Confidentiality for TACACS+ Security Protocol using Scyther. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 10th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2019, Kanpur, India, July 6-8, 2019, pp. 1-6, 2019, IEEE, 978-1-5386-5906-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Houssem Eddine Mohamadi, Nadjia Kara, Mohand Lagha |
Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FNSS ![In: Future Network Systems and Security - 4th International Conference, FNSS 2018, Paris, France, July 9-11, 2018, Proceedings, pp. 3-16, 2018, Springer, 978-3-319-94420-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Huihui Yang, Vladimir A. Oleshchuk, Andreas Prinz 0001 |
Verifying Group Authentication Protocols by Scyther. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. ![In: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 7(2), pp. 3-19, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Huihui Yang, Andreas Prinz 0001, Vladimir A. Oleshchuk |
Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, pp. 553-557, 2016, IEEE Computer Society, 978-1-4673-8776-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Ubaid Ur Rehman, Abdul Ghafoor Abbasi |
Secure Layered Architecture for Session Initiation Protocol Based on SIPSSO: Formally Proved by Scyther. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: 12th International Conference on Information Technology - New Generations, ITNG 2015, Las Vegas, NV, USA, April 13-15, 2015, pp. 185-190, 2015, IEEE Computer Society, 978-1-4799-8828-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Cas J. F. Cremers |
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 414-418, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|