2 papers
cs.CR2026
GraftyVul: Synthesising Insecure Programs Through Real-World Vulnerability Grafting
Omri Ram, Mitchell Horner, Ron Van der Meyden +2
Vulnerability datasets underpin a wide range of security research, including vulnerability detection, automated remediation, and secure code generation. However, existing datasets…
cs.DC2025
Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
Ron van der Meyden
In order to develop solutions that perform actions as early as possible, analysis of distributed algorithms using epistemic logic has generally concentrated on ``full information p…