On the security of public key protocols

• P4Ward: Fine-Grained Behavioral Policy Enforcement for Industrial Networks

  2025 Conference on Local Computer Networks conference-paper Computer Science Network Security and Intrusion Detection

  1

  citations
• Madtls: Fine-grained Middlebox-aware End-to-end Security for Industrial Communication

  2024 ACM Asia Conference on Computer and Communications Security (ASIA CCS) conference-paper Engineering Smart Grid Security and Resilience Open access

  4

  citations
• HAGAR: Hashgraph-based Aggregated Communication and Remote Attestation

  2024 ACM International Conference on Computing Frontiers: Workshops and Special Sessions (CF Companion) conference-paper Computer Science Blockchain Technology Applications and Security Open access

  1

  citations
• Securing Sensing in Supply Chains: Opportunities, Building Blocks, and Designs

  2024 IEEE Access article Computer Science Blockchain Technology Applications and Security Open access

  9

  citations
• Madtls: Fine-grained Middlebox-aware End-to-end Security for Industrial Communication

  2023 arXiv (Cornell University) preprint Engineering Smart Grid Security and Resilience Open access

  0

  citations
• Retrofitting Integrity Protection into Unused Header Fields of Legacy Industrial Protocols

  2023 Conference on Local Computer Networks conference-paper Engineering Smart Grid Security and Resilience

  4

  citations
• Enhanced end-to-end security through symmetric-key cryptography in wearable medical sensor networks

  2021 Health and Technology article Computer Science Advanced Authentication Protocols Security Open access

  4

  citations
• Foundations

  2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

  1

  citations
• Challenges and Opportunities in Securing the Industrial Internet of Things

  2020 IEEE Transactions on Industrial Informatics article Computer Science IoT and Edge/Fog Computing Open access

  363

  citations

9 results