IMDEA Software
Alternate names Instituto IMDEA Software, Madrid Institute for Advanced Studies in Software Development Technologies
Parent institution Madrid Institute for Advanced Studies
ROR: Yes
Works count: 1,358
Citations count: 21,270
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
2013 · Simon Meier, Benedikt Schmidt, et al. · Lecture notes in computer science
Automated Test Input Generation for Android: Are We There Yet? (E)
2015 · Shauvik Roy Choudhary, Alessandra Gorla, et al. · 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
AVclass: A Tool for Massive Malware Labeling
2016 · Marcos Sebastián, Richard Rivera, et al. · Lecture notes in computer science