3 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.AI2024★ 1 cited
Towards Characterizing Cyber Networks with Large Language Models
Alaric Hartsock, Luiz Manella Pereira, Glenn Fink
Threat hunting analyzes large, noisy, high-dimensional data to find sparse adversarial behavior. We believe adversarial activities, however they are disguised, are extremely diffic…
cs.SE2019★ 3 cited
Building Executable Secure Design Models for Smart Contracts with Formal Methods
Weifeng Xu, Glenn A. Fink
Smart contracts are appealing because they are self-executing business agreements between parties with the predefined and immutable obligations and rights. However, as with all sof…
cs.CR2019
Helping IT and OT Defenders Collaborate
Glenn A. Fink, Penny McKenzie
Cyber-physical systems, especially in critical infrastructures, have become primary hacking targets in international conflicts and diplomacy. However, cyber-physical systems presen…