Francisco B. Rodriguez
Identifiers
- name variant Francisco B. Rodriguez 0.60 · backfill
Papers (4)
- Fair anonymity for the Tor network cs.CR · 2014 · author #3
- A formal methodology for integral security design and verification of network protocols cs.CR · 2012 · author #3
- Formal security analysis of registration protocols for interactive systems: a methodology and a case of study cs.CR · 2012 · author #3
- Accurate and robust image superresolution by neural processing of local image representations cs.CV · 2005 · author #2
Mentions
Frequent Coauthors
- David Arroyo 3 shared papers
- Jesus Diaz 3 shared papers
- Carlos Miravet 1 shared papers