Mauricio Papa

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Oliver Bremer

> Home > Persons > Mauricio Papa

Publications

2003
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sec/PapaBHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/PapaBHS03
Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi:
Integrating Logics and Process Calculi for Cryptographic Protocol Analysis. SEC 2003: 349-360
2001
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/isads/PapaBHS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isads/PapaBHS01
Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi:
Formal Analysis of E-Commerce Protocols. ISADS 2001: 19-28
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/HalePBCS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/HalePBCS00
John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi:
Extending Java for Package based Access Control. ACSAC 2000: 67-76
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/PapaBMHS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/PapaBMHS00
Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi:
Simulation and Analysis of Cryptographic Protocols. DBSec 2000: 89-100

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.