103 citations · 172 across the 4 of their papers we have counts for
4 papers
ForestFirewalls: Getting Firewall Configuration Right in Critical Networks (Technical Report)
Dinesha Ranathunga, Matthew Roughan, Paul Tune +2
Firewall configuration is critical, yet often conducted manually with inevitable errors, leaving networks vulnerable to cyber attack [40]. The impact of misconfigured firewalls can…
Verifying and Monitoring IoTs Network Behavior using MUD Profiles
Ayyoob Hamza, Dinesha Ranathunga, Hassan Habibi Gharakheili +3
IoT devices are increasingly being implicated in cyber-attacks, raising community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order…
Clear as MUD: Generating, Validating and Applying IoT Behaviorial Profiles (Technical Report)
Ayyoob Hamza, Dinesha Ranathunga, H. Habibi Gharakheili +2
IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order…
The Mathematical Foundations for Mapping Policies to Network Devices (Technical Report)
Dinesha Ranathunga, Matthew Roughan, Phil Kernick +1
A common requirement in policy specification languages is the ability to map policies to the underlying network devices. Doing so, in a provably correct way, is important in a secu…