#DDECS2025 - Karl Aaron Rudkowski from @unibremen.bsky.social presenting on "CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution"; paper available #online agra.informatik.uni-bremen.de/doc/konf/DDE... #SystemC #riscv #SymbolicExecution #formal #scale4edge
May 6, 2025 at 12:50 PM
#DDECS2025 - Karl Aaron Rudkowski from @unibremen.bsky.social presenting on "CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution"; paper available #online agra.informatik.uni-bremen.de/doc/konf/DDE... #SystemC #riscv #SymbolicExecution #formal #scale4edge
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-202...
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
FM 2026 - Special Track on TAP (Tests and Proofs) - FM 2026
FM 2026 welcomes a special track for the TAP (Tests and Proofs) conference series.
conf.researchr.org
July 29, 2025 at 9:50 AM
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-202...
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
Researchers introduce a divide-and-conquer method that slices programs for symbolic execution, keeping SMT queries small. Updated September 2025. Analysis. https://getnews.me/divide-and-conquer-method-boosts-symbolic-execution-performance/ #symbolicexecution #softwaresecurity
September 29, 2025 at 6:37 PM
Researchers introduce a divide-and-conquer method that slices programs for symbolic execution, keeping SMT queries small. Updated September 2025. Analysis. https://getnews.me/divide-and-conquer-method-boosts-symbolic-execution-performance/ #symbolicexecution #softwaresecurity
#Malware might have logic bombs, alternative execution paths, and more. What if we could find them and patch? Check some ideas for the #symbolicexecution of #malware samples: marcusbotacin.github.io/publication/...
Malware MultiVerse: From Automatic Logic Bomb Identification to Automatic Patching and Tracing
My preprint paper about symbolic execution for malware analysis.
marcusbotacin.github.io
November 30, 2024 at 7:57 PM
#Malware might have logic bombs, alternative execution paths, and more. What if we could find them and patch? Check some ideas for the #symbolicexecution of #malware samples: marcusbotacin.github.io/publication/...