Behnaz Hassanshahi

1. No Snake Oil: Verifying Python Package Builds
   2026/07/24 by Jens Dietrich, Spencer Sun, Tim W. White +1 · 1 voice
   #cs.SE #cs.CR
2. Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
   2024/10/11 by Jens Dietrich, Dietrich, Jens, Tim White +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