Jorge Cullar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
14
Active years
1994–2020
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CaiSE | Enforcing a Cross-Organizational Workflow: An Experience Report. | Susanne Stahnke, Klym Shumaiev, Jorge Cullar, Prabhakaran Kasinathan |
| 2018 | ESORICS | Workflow-Aware Security of Integrated Mobility Services. | Prabhakaran Kasinathan, Jorge Cullar |
| 2018 | EWSN | Securing the Integrity of Workflows in IoT. | Prabhakaran Kasinathan, Jorge Cullar |
| 2014 | ISPEC | Preserving Receiver-Location Privacy in Wireless Sensor Networks. | Javier Lpez, Ruben Rios, Jorge Cullar |
| 2012 | ESORICS | Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN. | Ruben Rios, Jorge Cullar, Javier Lpez |
| 2012 | SAC | Indistinguishable regions in geographic privacy. | Jorge Cullar, Martn Ochoa, Ruben Rios |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | SEC | From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Giancarlo Pellegrino, Alessandro Sorniotti |
| 2010 | DSN | Scalable RFID systems: a privacy-preserving protocol with constant-time identification. | Basel Alomair, Andrew Clark, Jorge Cullar, Radha Poovendran |
| 2010 | GLOBECOM | Statistical Framework for Source Anonymity in Sensor Networks. | Basel Alomair, Andrew Clark, Jorge Cullar, Radha Poovendran |
| 2008 | CCS | Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Llanos Tobarra |
| 2007 | SAFECOMP | Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Buer, Jorge Cullar |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 1998 | CAV | Formal Methods in an Industrial Environment. | Jorge Cullar |
| 1996 | TACAS | Rapid Prototyping for an Assertional Specification language. | Jorge Cullar, Dieter Barnard, Martin Huber |
| 1995 | SOFSEM | Development of Safety-Critical Real-Time Systems. | Hans Rischel, Jorge Cullar, Simon Mrk, Anders P. Ravn, Isolde Wildgruber |
| 1994 | FM | Combining the Design of Industrial Systems with Effective Verification Techniques. | Jorge Cullar, Isolde Wildgruber, Dieter Barnard |