Archivio Istituzionale della RicercaLIOY, ANTONIO
LIOY, ANTONIO
Dipartimento di Automatica e Informatica
001847
Exact Probabilistic Testability Measures for Multi-Output Circuits
1990 Camurati, P; Lioy, A; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Diagnosis Oriented Test Pattern Generation
1990 Camurati, Paolo Enrico; Lioy, Antonio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Automatic compaction of microcode
1991 Lioy, Antonio; Mezzalama, Marco
An Algebraic Approach to Test Generation for Sequential Circuits
1991 Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo
A Hierarchical Multi-Level Test Generation System
1991 Lioy, Antonio; Poncino, Massimo
Advanced Fault Collapsing
1992 Lioy, A.
Test Generation for Gate Level Sequential Machines: Algorithms and Implementation Issues
1992 Lioy, Antonio; Macii, Enrico; Meo, A. R.
Exact Computation of Detectability Profile,''
1993 Fahrat, H.; Lioy, Antonio; Poncino, Massimo
On the Resetability of Synchronous Sequential Circuits
1993 Lioy, Antonio; Poncino, Massimo
Testing Hyperactive Faults in Asynchronous Circuits
1995 Lioy, Antonio; Maino, F.; Odasso, G.; Poncino, Massimo
Exact Functional Redundancy Identification
1995 Lioy, Antonio; Poncino, Massimo
Aspetti di sicurezza in IPv6
1997 Lioy, Antonio
Secure document management and distribution in an open network environment
1997 Lioy, Antonio; Maino, F.; Mezzalama, Marco
A Parallel Approach to Symbolic Traversal Based on Set Partitioning
1997 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano
Providing security to the building licenses delivering process in the city of Torino
1997 Lioy, Antonio; Maino, F.
Non-intrusive authentication
1997 Galliano, D. A.; Lioy, Antonio; Maino, F.
Accurate entropy calculation for large logic circuits based on output clustering
1997 Lioy, Antonio; Macii, Enrico; Poncino, Massimo; M., Rossello
Providing X.509-based user access control to web servers
1998 Lioy, Antonio; Maino, F.
Security aspects of IPv6
1998 Lioy, Antonio
La sicurezza nelle reti di calcolatori: dai firewall alla firmadigitale
1998 Lioy, Antonio; Mezzalama, M.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Exact Probabilistic Testability Measures for Multi-Output Circuits / Camurati, P; Lioy, A; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - STAMPA. - 1, Number 3, October 1990:(1990), pp. 229-234. [10.1007/BF00938686] | 1-gen-1990 | LIOY APRINETTO, Paolo ErnestoSONZA REORDA, Matteo + | - |
| Diagnosis Oriented Test Pattern Generation / Camurati, Paolo Enrico; Lioy, Antonio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1990), pp. 470-474. (Intervento presentato al convegno IEEE European Design Automation Conference) [10.1109/EDAC.1990.136693]. | 1-gen-1990 | CAMURATI, Paolo EnricoLIOY, ANTONIOPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
| Automatic compaction of microcode / Lioy, Antonio; Mezzalama, Marco. - In: MICROPROCESSORS AND MICROSYSTEMS. - ISSN 0141-9331. - 14:(1991). | 1-gen-1991 | LIOY, ANTONIOMEZZALAMA, Marco | - |
| An Algebraic Approach to Test Generation for Sequential Circuits / Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo. - (1991), pp. 115-120. (Intervento presentato al convegno GLS-VLSI-91: IEEE/ACM 1st Great Lakes Symposium on VLSI tenutosi a Kalamazoo, MI) [10.1109/GLSV.1991.143952]. | 1-gen-1991 | LIOY, ANTONIOMACII, EnricoSONZA REORDA, Matteo + | - |
| A Hierarchical Multi-Level Test Generation System / Lioy, Antonio; Poncino, Massimo. - (1991). (Intervento presentato al convegno GLS-VLSI'91: 1st Great Lake State Symposium) [10.1109/GLSV.1991.143942]. | 1-gen-1991 | LIOY, ANTONIOPONCINO, MASSIMO | - |
| Advanced Fault Collapsing / Lioy, A.. - In: IEEE DESIGN & TEST OF COMPUTERS. - ISSN 0740-7475. - STAMPA. - 9:1(1992), pp. 64-71. [10.1109/54.124518] | 1-gen-1992 | Lioy A. | - |
| Test Generation for Gate Level Sequential Machines: Algorithms and Implementation Issues / Lioy, Antonio; Macii, Enrico; Meo, A. R.. - (1992), pp. 262-267. (Intervento presentato al convegno CompEuro'92: IEEE 1992 International Conference on Software Engineering tenutosi a Den Haag, The Netherlands) [10.1109/CMPEUR.1992.218499]. | 1-gen-1992 | LIOY, ANTONIOMACII, Enrico + | - |
| Exact Computation of Detectability Profile,'' / Fahrat, H.; Lioy, Antonio; Poncino, Massimo. - (1993). (Intervento presentato al convegno CICC'93: IEEE Custom Integrated Circuits Conference) [10.1109/ISCAS.1993.394021]. | 1-gen-1993 | LIOY, ANTONIOPONCINO, MASSIMO + | - |
| On the Resetability of Synchronous Sequential Circuits / Lioy, Antonio; Poncino, Massimo. - (1993). (Intervento presentato al convegno ISCAS'93: IEEE Int. Symposium on Circuits and Systems) [10.1109/ISCAS.1993.394021]. | 1-gen-1993 | LIOY, ANTONIOPONCINO, MASSIMO | - |
| Testing Hyperactive Faults in Asynchronous Circuits / Lioy, Antonio; Maino, F.; Odasso, G.; Poncino, Massimo. - (1995). (Intervento presentato al convegno IEEE Pacific Rim Conference on Communications, Computer and Signal Processing) [10.1109/PACRIM.1995.519572]. | 1-gen-1995 | LIOY, ANTONIOPONCINO, MASSIMO + | - |
| Exact Functional Redundancy Identification / Lioy, Antonio; Poncino, Massimo. - (1995). (Intervento presentato al convegno IEEE Pacific Rim Conference on Communications, Computer and Signal Processing) [10.1109/PACRIM.1995.519570]. | 1-gen-1995 | LIOY, ANTONIOPONCINO, MASSIMO | - |
| Aspetti di sicurezza in IPv6 / Lioy, Antonio - In: IPv6: il nuovo protocollo per Internet e le Intranet / GAI S.. - MILANO : McGraw-Hill Italia, 1997. - ISBN 9788838632099. - pp. 139-151 | 1-gen-1997 | LIOY, ANTONIO | - |
| Secure document management and distribution in an open network environment / Lioy, Antonio; Maino, F.; Mezzalama, Marco. - 1334:(1997), pp. 109-117. (Intervento presentato al convegno Information and Communications Security First International Conference, ICIS '97 tenutosi a Beijing (CHN) nel November 11–14, 1997) [10.1007/BFb0028467]. | 1-gen-1997 | LIOY, ANTONIOMEZZALAMA, Marco + | - |
| A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). (Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies). | 1-gen-1997 | CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano | - |
| Providing security to the building licenses delivering process in the city of Torino / Lioy, Antonio; Maino, F.. - (1997), pp. 432.1-432.6. (Intervento presentato al convegno JENC8: 8th Joint European Networking Conf. nel May 12-15). | 1-gen-1997 | LIOY, ANTONIO + | - |
| Non-intrusive authentication / Galliano, D. A.; Lioy, Antonio; Maino, F.. - (1997), pp. 440-451. (Intervento presentato al convegno SEC'97: IFIP Int. Information Security Conf.). | 1-gen-1997 | LIOY, ANTONIO + | - |
| Accurate entropy calculation for large logic circuits based on output clustering / Lioy, Antonio; Macii, Enrico; Poncino, Massimo; M., Rossello. - (1997), pp. 70-75. (Intervento presentato al convegno 7th Great Lakes Symposium on VLSI tenutosi a Urbana-Champaign, IL (USA) nel 13-15 Mar 1997) [10.1109/GLSV.1997.580413]. | 1-gen-1997 | LIOY, ANTONIOMACII, EnricoPONCINO, MASSIMO + | - |
| Providing X.509-based user access control to web servers / Lioy, Antonio; Maino, F.. - (1998), pp. 61-71. (Intervento presentato al convegno SEC'98: IFIP Int. Information Security Conf. nel Aug. 31 - Sep. 4). | 1-gen-1998 | LIOY, ANTONIO + | - |
| Security aspects of IPv6 / Lioy, Antonio - In: Internetworking IPv6 with Cisco routers / GAI S.. - NEW YORK : McGraw-Hill, 1998. - ISBN 9780070228368. - pp. 151-166 | 1-gen-1998 | LIOY, ANTONIO | - |
| La sicurezza nelle reti di calcolatori: dai firewall alla firmadigitale / Lioy, Antonio; Mezzalama, M.. - (1998). | 1-gen-1998 | LIOY, ANTONIO + | - |