A

A

ARMANDO , Alessandro

Last name: ARMANDO

First name: Alessandro

Email: alessandro.armando@unige.it

Institution: UNIGE

Links

2013 (v1)

Publication

Metadata-only

An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations

ARMANDO, ALESSANDRO Roberto Carbone Luca Compagna

No description

Uploaded on: April 14, 2023
2005 (v1)

Publication

Metadata-only

SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective

ARMANDO, ALESSANDRO GIUNCHIGLIA, ENRICO TACCHELLA, ARMANDO

No description

Uploaded on: March 31, 2023
2009 (v1)

Publication

Metadata-only

Building SMT-based Software Model Checkers: an Experience Report

ARMANDO, ALESSANDRO

No description

Uploaded on: March 31, 2023
2001 (v1)

Publication

Metadata-only

Maple's evaluation process as constraint contextual rewriting

ARMANDO, ALESSANDRO C. BALLARIN

No description

Uploaded on: March 31, 2023
1998 (v1)

Publication

Metadata-only

From integrated reasoning specialists to "plug-and-play" reasoning components

ARMANDO, ALESSANDRO S. RANISE

No description

Uploaded on: April 14, 2023
1993 (v1)

Publication

Metadata-only

NALIG: A CAD system for interior design with high level interaction capabilities

ARMANDO, ALESSANDRO P. PECCHIARI

No description

Uploaded on: March 31, 2023
2005 (v1)

Publication

Metadata-only

Preface to the Special Issue of the Electronic Notes in Theoretical Computer Science devoted to the Proceedings of the Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004)

ARMANDO, ALESSANDRO L. VIGANO'

No description

Uploaded on: October 11, 2023
2001 (v1)

Publication

Metadata-only

A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic

ARMANDO, ALESSANDRO RANISE S.

No description

Uploaded on: April 14, 2023
2000 (v1)

Publication

Metadata-only

Termination of Constraint Contextual Rewriting

ARMANDO, ALESSANDRO S. RANISE

No description

Uploaded on: December 5, 2022
2005 (v1)

Publication

Metadata-only

An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols

ARMANDO, ALESSANDRO COMPAGNA L.

No description

Uploaded on: March 25, 2023
2003 (v1)

Publication

Metadata-only

Abstraction-driven SAT-based Analysis of Security Protocols

ARMANDO, ALESSANDRO L. COMPAGNA

No description

Uploaded on: April 14, 2023
2010 (v1)

Publication

Metadata-only

Cooperative Access Control for the Grid

MERLO, ALESSIO ARMANDO, ALESSANDRO

The access to Grid resources depends on rules defined by the administrators of the physical organizations and of the Grid middleware. This approach does not require support for access control in the middleware, but since changes in the access control policy of the Virtual Organization imply the involvement of one or more administrators, it...

Uploaded on: March 31, 2023
2006 (v1)

Publication

Metadata-only

Preface to the Special Issue of the Electronic Notes on Theoretical Computer Science devoted to the Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)

ARMANDO, ALESSANDRO A. CIMATTI

No description

Uploaded on: October 11, 2023
2003 (v1)

Publication

Metadata-only

Constraint Contextual Rewriting

ARMANDO, ALESSANDRO RANISE S.

No description

Uploaded on: March 25, 2023