Mate Soos

http://www.msoos.org [email protected]

Berlin, Germany Model counting, SAT solving, symbolic execution, cryptography, and IT security