100 citations
- Durham UniversityGB2 papers
- Northumbria UniversityGB2 papers
- Aalborg UniversityDK1 paper
- Chinese Academy of SciencesCN1 paper
- East China Normal UniversityCN1 paper
- GFZ Helmholtz Centre for GeosciencesDE1 paper
- Institute of MicroelectronicsCN1 paper
- Lancaster UniversityGB1 paper
- National Centre for Atmospheric ScienceGB1 paper
- Oeschger Centre for Climate Change ResearchCH1 paper
- Potsdam Institute for Climate Impact ResearchDE1 paper
- Public and ScienceSE1 paper
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2024★ 7 cited
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Rémi Garcia, Paolo Modesti
To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or…
cs.CR2024★ 10 cited
Comprehensive Botnet Detection by Mitigating Adversarial Attacks, Navigating the Subtleties of Perturbation Distances and Fortifying Predictions with Conformal Layers
Rahul Yumlembam, Biju Issac, Seibu Mary Jacob +1
Botnets are computer networks controlled by malicious actors that present significant cybersecurity challenges. They autonomously infect, propagate, and coordinate to conduct cyber…
cs.CR2020★ 1 cited
Analysing Flow Security Properties in Virtualised Computing Systems
Chunyan Mu
This paper studies the problem of reasoning about flow security properties in virtualised computing networks with mobility from perspective of formal language. We propose a distrib…