Reviewed

  • warning: Creating default object from empty value in /home/alfredo/Public/alfredo.pironti.eu/research/modules/taxonomy/taxonomy.pages.inc on line 33.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
The set of reviewed publications

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation

Pironti, A., and R. Sisto, "An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation", IEEE Symposium on Computers and Communications (ISCC 07): IEEE Computer Society, pp. 839–844, 2007.

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

Pironti, A., and R. Sisto, "Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models", International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08): IEEE Computer Society, pp. 31–38, 2008.

Provably Correct {J}ava Implementations of {S}pi {C}alculus Security Protocols Specifications

Pironti, A., and R. Sisto, "Provably Correct {J}ava Implementations of {S}pi {C}alculus Security Protocols Specifications", Computers & Security, vol. 29, issue 3: Elsevier, pp. 302–314, 2010.

Formally-Based Black-Box Monitoring of Security Protocols

Pironti, A., and J. Jürjens, "Formally-Based Black-Box Monitoring of Security Protocols", International Symposium on Engineering Secure Software and Systems (ESSoS 10): IEEE Computer Society, pp. 79–95, 2010.

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

Pironti, A., and R. Sisto, "Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models", Availability, Reliability and Security (ARES 08): IEEE Computer Society, pp. 72–79, 2008.
Syndicate content