Enhancing Security in Emerging Technologies

The field of security is rapidly evolving, with a focus on addressing vulnerabilities in emerging technologies such as embedded non-volatile memories, digital twins, and large language models. Researchers are exploring innovative solutions, including the application of separation logic to ensure secure parsing and serialization, and the use of transformers to detect hardware-level security threats. Noteworthy papers include:

  • Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE, which presents a library of verified parser and serializer combinators for non-malleable binary formats.
  • BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection, which proposes a new framework utilizing a fine-tuned Large Language Model to automate and improve the adaptability and reusability of the verification process.

Sources

Understanding the Security Landscape of Embedded Non-Volatile Memories: A Comprehensive Survey

Advancing Security with Digital Twins: A Comprehensive Survey

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE

Large Language Models in the IoT Ecosystem -- A Survey on Security Challenges and Applications

Reproducible Builds and Insights from an Independent Verifier for Arch Linux

Lazarus Group Targets Crypto-Wallets and Financial Data while employing new Tradecrafts

Securing the Software Package Supply Chain for Critical Systems

Transformers for Secure Hardware Systems: Applications, Challenges, and Outlook

BugWhisperer: Fine-Tuning LLMs for SoC Hardware Vulnerability Detection

Built with on top of