Effect Systems as Abstract Interpretations
2026-06-19T08:52:00Z•58acc186bd73795d641287e23bb8a409e5a14ff6290373e610083b5bd09e4b48
What happened
This batch contains multiple CS/PL (programming languages & verification) arXiv preprints (Jun 19 2026). Notable security-relevant items: (1) Triosecuris — a formally verified defense against Spectre-style speculative control-flow hijacking (BTB, RSB, PHT) combining CET-like CFI with compiler-inserted SLH and a machine-checked proof of a relative-leakage guarantee. (2) ESBMC-GraphPLC — fixes a practical verification gap that previously produced vacuous SAFE results when parsing graphical PLCopen XML Ladder Diagrams; adds a DFS-based resolver, correct rung-to-IR conversion and I/O ordering to (
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 58acc186bd73795d641287e23bb8a409e5a14ff6290373e610083b5bd09e4b48
- Enrichment time
- 2026-06-19T08:52:00Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.