Publications

A. Montresor; M. Jelasity; O. Babaoglu, Robust Aggregation Protocols for Large-Scale Overlay Networks, in: E.N. ELNOZAHY; A. BOBBIO; H. MADEIRA, Proceedings of the International Conference on Dependable Systems and Networks, LOS ALAMITOS, IEEE Computer Society Press, 2004, pp. 19 - 28 (atti di: DSN: International Conference on Dependable Systems and Networks, Firenze, Italia, Giugno 2004) [Contribution to conference proceedings]

Özalp Babaoğlu; Alberto Bartoli; Vance Maverick; Simon Patarin; Jakša Vučković; Huaigu Wu, A Framework for Prototyping J2EE Replication Algorithms, in: VINNY CAHILL;STEVE VINOSKI;WERNER VOGELS;, Proceedings of the International Symposium on Distributed Objects and Applications, s.l, s.n, 2004, pp. 1413 - 1426 (atti di: DOA: Distributed Objects and Applications, Agia Napa, Cipro, Ottobre 2004) [Contribution to conference proceedings]

S. Ferretti; M. Roccetti, A Novel Obsolescence-based Approach to Event Delivery Synchronization in Multiplayer Games, «INTERNATIONAL JOURNAL OF INTELLIGENT GAMES & SIMULATION», 2004, 3:1, pp. 7 - 19 [Scientific article]

R.Gorrieri; R.Lanotte; A.Maggiolo-Schettini; F.Martinelli; S.Tini; E.Tronci, Automated Analysis of Timed Security: A Case Study on Web Privacy, «INTERNATIONAL JOURNAL OF INFORMATION SECURITY», 2004, 2(3-4), pp. 168 - 186 [Scientific article]

D. Maltoni; A.K Jain (a cura di): D. MALTONI, A.K JAIN (EDS.), Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings, PRAGUE, Springer, 2004, pp. 341 (Lecture Notes in Computer Science). [Editorship]

R. Cappelli; A.Franco; L.Nanni, Towards a robust face detector, in: Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings, PRAGUE, Springer, 2004, 3087, pp. 57 - 69 [Contribution to conference proceedings]

Roberto Gorrieri; F.Martinelli, A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules, «SCIENCE OF COMPUTER PROGRAMMING», 2004, 50(1-3), pp. 23 - 49 [Scientific article]

A.Aldini; M.Bravetti; R.Gorrieri, A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference, «JOURNAL OF COMPUTER SECURITY», 2004, 12(2), pp. 191 - 246 [Scientific article]

A.Aldini; M.Bravetti; A.Di Pierro; R.Gorrieri; C.Hankin; H.Wiklicky, Two Formal Approaches for Approximating Noninterference Properties, in: Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures, BERLIN, Springer, 2004, pp. 1 - 43 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]

R.Focardi; R.Gorrieri; F.Martinelli, Classification of Security Properties. Part II: Network Security, in: Foundations of Security Analysis and Design II, Heidelberg, Springer, 2004, pp. 139 - 185 [Chapter or essay]

Lumini, Alessandra; Maio, Dario, Adaptive positioning of a visible watermark in a digital image, in: AA.VV., Multimedia and Expo, 2004. ICME '04. 2004 IEEE International Conference on, TAIPEI, IEEE, 2004, 2, pp. 967 - 970 [Contribution to conference proceedings]

R. Cappelli, SFinGe: an Approach to Synthetic Fingerprint Generation, in: AA.VV., International Workshop on Biometric Technologies (BT2004), CALGARY, s.n., 2004, pp. 147 - 154 [Contribution to conference proceedings]

A. Franco; A. Lumini, Un approccio al relevance feedback per il reperimento di immagini, in: M. AGOSTI, N.DESSÌ, F. A. SCHREIDER (EDS.), Proceeding of the Twelfth Italian symposium on Advanced Database systems, CAGLIARI, s.n., 2004, pp. 202 - 213 [Contribution to conference proceedings]

D. Maio; D. Maltoni; R. Cappelli; J.L. Wayman; A.K. Jain, FVC2004: Third Fingerprint Verification Competition, in: First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings, HONG KONG, Springer, 2004, 3072, pp. 1 - 7 [Contribution to conference proceedings]

A. Franco; A. Lumini; D. Maio, A new approach for relevance feedback through positive and negative samples, in: Proceedings of the 17th International Conference on Pattern Recognition (ICPR 2004), CAMBRIDGE, IEEE Computer Society, 2004, 4, pp. 905 - 908 (atti di: 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, England, UK, 23-26 August 2004) [Contribution to conference proceedings]

A. Franco; D. Maltoni; L. Nanni, Reward-Punishment Editing, in: Proceedings of the 17th International Conference on Pattern Recognition (ICPR 2004), CAMBRIDGE, IEEE Computer Society, 2004, 4, pp. 424 - 427 (atti di: 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, England, UK, 23-26 August 2004) [Contribution to conference proceedings]

R. Cappelli; D. Maio ;D. Maltoni, Technology Evaluations of Fingerprint-Based Biometric Systems, in: AA.VV., Proceedings of 12th European Signal Processing Conference (EUSIPCO2004), Vienna, Austria, September 2004, VIENNA, s.n, 2004, pp. 1405 - 1408 [Contribution to conference proceedings]

R. Cappelli; A. Franco; D. Maltoni; L. Nanni, Combining Template-based and feature-based face detectors, in: Visualization, Imaging, and Image Processing (VIIP 2004), MARBELLA, ACTA Press, 2004, pp. 50 - 53 (atti di: Proceedings of the Fourth IASTED International Conference on Visualization, Imaging, and Image Processing, Marbella; Spain, 6 - 8 September 2004) [Contribution to conference proceedings]

A. Franco; A. Lumini ; D. Maio, A Hierarchical Approach for Face Recognition, in: Visualization, Imaging, and Image Processing (VIIP 2004), MARBELLA, ACTA Press, 2004, pp. 54 - 59 [Contribution to conference proceedings]

R. Cappelli; D. Maio; D. Maltoni, An Improved Noise Model for the Generation of Synthetic Fingerprints, in: AA.VV., Proceedings of Eighth International Conference on Control, Automation, Robotics and Vision (ICARCV2004), Kunming, China, December 2004., KUNMING, s.n., 2004, 2, pp. 1250 - 1255 (atti di: 8th International Conference on Control, Automation, Robotics and Vision (ICARCV), Kunming; China, 6 - 9 December 2004) [Contribution to conference proceedings]