5 citations · 10 across the 6 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Evaluating Large Language Models for Symbolic Security Protocol Analysis
Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis +1
Security protocols verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether large language models (LLMs) can perform comparable analysis. We test…
cs.CR2020★ 3 cited
A Survey on Hardware Approaches for Remote Attestation in Network Infrastructures
Ioannis Sfyrakis, Thomas Gross
Remote attestation schemes have been utilized for assuring the integrity of a network node to a remote verifier. In recent years, a number of remote attestation schemes have been p…
cs.CR2020
GSL: A Cryptographic Library for the strong RSA Graph Signature Scheme
Ioannis Sfyrakis, Thomas Gross
Current cloud and network infrastructures do not employ privacy-preserving methods to protect their assets. Anonymous credential schemes are a cryptographic building block that ena…