noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova

@noerdman.bsky.social

Der Nerd aus dem Norden. Jeden Montag neu #comics #comic #noerdman #truscova www.rolfdrechsler.de

193 followers1 following907 posts

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social

SemiIPHub reporting about our paper on "Automated Multi-Line Bug Repair Using Model Checker Aided LLMs: A Case Study on RISC-V Processors" semiiphub.com/pulse/techni... @unibremen.bsky.social @dfki.bsky.social @riscvinternational.bsky.social #riscv

semiiphub.comAutomated Multi-Line Bug Repair Using Model Checker Aided LLMs: A Case Study on RISC-V ProcessorsIn this paper, the authors propose a novel automated RTL bug repair methodology that combines LLMs, assertions, and a model checker to provide scalable,...
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social

LLMs are making formal software verification feasible at a much larger scale www.anthropic.com/research/for... @anthropicai.xmirror.bot @anthropic.com #formal #verification #software #LLM #LLMs

anthropic.comLLMs are making formal software verification feasible at a much larger scaleClaude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social

Our paper accepted for publication in ACM Transactions on Design Automation of Electronic Systems (TODAES) on "The Deception of Sight: Camouflaging Chips Information Against Optical Probing Attacks By Selective Increase of Local Density" is available #OpenAccess dl.acm.org/doi/10.1145/...

dl.acm.orgThe Deception of Sight: Camouflaging Chips Information Against Optical Probing Attacks By Selective Increase of Local Density | ACM Transactions on Design Automation of Electronic SystemsIn recent years, a novel non-invasive laser-assisted attack known as Optical Probing (OP) has been demonstrated to effectively probe the internal state of integrated circuits. This attack exploits the...
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social

Developing Explainable Systems Together: How #Bremen and #Oldenburg are combining their strengths in computer science through the #CAUSE Research Training Group up2date.uni-bremen.de/en/article/d... @unibremen.bsky.social @dfki.bsky.social @dfg.de #DFG #explain #explanability

up2date.uni-bremen.deDeveloping Explainable Systems TogetherHow Bremen and Oldenburg are combining their strengths in computer science through the CAUSE Research Training Group
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social

Data Encounters Northwest: Interdisziplinärer Workshop bringt Forschende in Bremen und Oldenburg zusammen northwest-alliance.de/data-encount... @unibremen.bsky.social @dsc-ub.bsky.social #WiZArD #DataScience

northwest-alliance.deData Encounters Northwest: Interdisziplinärer Workshop bringt Forschende in Bremen und Oldenburg zusammen - Northwest AllianceDas Potenzial datenbasierter Forschung steht im Mittelpunkt des Workshops „Data Encounters Northwest“, den das Data Science Center (DSC) der Universität Bremen und das WiZArD - Wissenschaftliches Zent...