Tim White

1. Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
   2024/10/11 by Jens Dietrich, Tim White, Dietrich, Jens +5 · 2 citations
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #D.2.13 #D.3.4 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #VLSI and FPGA Design Techniques