28 citations · 178 across the 46 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Visualisation for the CIS benchmark scanning results
Zhenshuo Zhao, Maria Spichkova, Duttkumari Champavat +4
In this paper, we introduce GraphSecure, a web application that provides advanced analysis and visualisation of security scanning results. GraphSecure enables users to initiate sca…
cs.CR2014★ 2 cited
Compositional properties of crypto-based components
Maria Spichkova
This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects. We i…