Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:K.Nohl C.Castelluccia V.Ganesh C.W.O'Donnell S.Devadas M.C.Rinard A.Solar-Lezama
Talks about:problem (2) solver (2) sat (2) cryptograph (1) programmat (1) extend (1) lynx (1) fold (1) rna (1)
Person: Mate Soos
DBLP: Soos:Mate
Contributed to:
20122009Wrote 2 papers:
- SAT-2012-GaneshOSDRS #named #problem #satisfiability
- Lynx: A Programmatic SAT Solver for the RNA-Folding Problem (VG, CWO, MS, SD, MCR, ASL), pp. 143–156.
- SAT-2009-SoosNC #encryption #problem #satisfiability
- Extending SAT Solvers to Cryptographic Problems (MS, KN, CC), pp. 244–257.