miniblog.

← Back to all posts
Mar 6, 2019 at 20:39
A new speculative execution vulnerability in CPUs: https://www.theregister.co.uk/2019/03/05/spoiler_intel_processor_flaw/ Attacks only get sophisticated over time, and this is a great example of other researchers finding similar issues. This vulnerability is independent of Spectre.

Related Posts

Jun 11, 2023 at 18:14
A new class of typosquatting attacks for malicious packages: register package names that are hallucinated by ChatGPT: https://vulcan.io/blog/ai-hallucinations-package-risk (h/t @rauschma)
Nov 11, 2021 at 06:43
Unicode attacks creating invisible variables in JS: https://certitude.consulting/blog/en/invisible-backdoor/ Unicode in string literals or comments seems worthwhile, but non-ASCII in variable names seems fraught.
Jan 20, 2020 at 14:33
Invited talk: Safety Verification for Deep Neural Networks: https://popl20.sigplan.org/details/VMCAI-2020-papers/22/Safety-and-Robustness-for-Deep-Learning-with-Provable-Guarantees How do we verify that a DNN is robust to adversarial attacks? How do we quantify safety? This approach looks at image features (Sift) and verifies all perturbations within a region.
Safety and Robustness for Deep Learning with Provable Guarantees (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...