Added AIxCC section

aixcc/publications/1994_carzaniga_picco_vigna_isooms94.bib

@@ -0,0 +1,13 @@
+@InProceedings{carzaniga94:isooms,
+  author = 	 {Antonio Carzaniga and Gian Pietro Picco and Giovanni Vigna},
+  title = 	 {{Designing and Implementing Inter-Client Communication in the O2 Database Management System}},
+  booktitle =	 {Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS)},
+  pages =	 {53--64},
+  year =	 1994,
+  number =	 858,
+  series =	 {LNCS},
+  address =	 {Palermo, Italy},
+  month =	 {September},
+  publisher =	 {Springer-Verlag}
+}
+

aixcc/publications/1994_carzaniga_vigna_msthesis.bib

@@ -0,0 +1,9 @@
+@MastersThesis{carzaniga94:msthesis,
+  author = 	 {Antonio Carzaniga and Giovanni Vigna},
+  title = 	 {{The Design and Implementation of SPADE-1 2.0}},
+  school = 	 {Politecnico di Milano},
+  year = 	 1994,
+  address =	 {Milano, Italy},
+  month =	 {July}
+}
+

aixcc/publications/1995_bandinelli_carzaniga_vigna_wsa95.bib

@@ -0,0 +1,10 @@
+@InProceedings{bandinelli95:archetype,
+  author = 	 {Sergio Bandinelli and Antonio Carzaniga and Giovanni Vigna},
+  title = 	 {{Archetype: Addressing Configuration Issues in Software Architectures}},
+  booktitle = 	 {Proceedings of the ICSE International Workshop on Architectures for Software Systems},
+  year =	 1995,
+  address =	 {Seattle, WA},
+  pages = {9--12},
+  month =	 {April}
+}
+

aixcc/publications/1995_vigna_inspect.bib

@@ -0,0 +1,8 @@
+@techreport{vigna95:inspect,
+	Author = {Giovanni Vigna},
+	Institution = {Politecnico di Milano},
+	Title = {Inspect: A Distributed Approach To Automated Audit Trail Analysis},
+	Month = {June},
+	Year = 1995
+}
+

aixcc/publications/1996_cugola_ghezzi_picco_vigna_lncs1222.bib

@@ -0,0 +1,13 @@
+@InCollection{cugola96:analyzing,
+  author = 	 {Gianpaolo Cugola and Carlo Ghezzi and Gian Pietro Picco and Giovanni Vigna},
+  title = 	 {{Analyzing Mobile Code Languages}},
+  booktitle = 	 {Mobile Object Systems: Towards the Programmable Internet},
+  pages = 	 {93--111},
+  publisher = {Springer-Verlag},
+  year = 	 {1997},
+  editor = 	 {J. Vitek and C. Tschudin},
+  volume = 	 {1222},
+  series = 	 {LNCS State-of-the-Art Survey},
+  month = 	 {April}
+}
+

aixcc/publications/1996_cugola_ghezzi_picco_vigna_mos96.bib

@@ -0,0 +1,12 @@
+@InProceedings{cugola96:characterization,
+  author = 	 {Gianpaolo Cugola and Carlo Ghezzi and Gian Pietro Picco and Giovanni Vigna},
+  title = 	 {{A Characterization of Mobility and State Distribution in Mobile Code Languages}},
+  booktitle = 	 {Proceedings of the ECOOP Workshop on Mobile Object Systems},
+  pages = 	 {309--318},
+  address =      {Linz, Austria},
+  year = 	 {1996},
+  editor = 	 {M. Muhlauser},
+  month = 	 {July},
+  publisher =    {dpunkt}
+}
+

aixcc/publications/1996_vigna_TCPIP.bib

@@ -0,0 +1,8 @@
+@techreport{vigna96:tcpip,
+	Author = {Giovanni Vigna},
+	Institution = {Politecnico di Milano},
+	Month = {November},
+	Number = {TR-96.156},
+	Title = {{A Topological Characterization of TCP/IP Security}},
+	Year = 1996}
+

aixcc/publications/1997_carzaniga_picco_vigna_icse97.bib

@@ -0,0 +1,10 @@
+@InProceedings{carzaniga97:designing,
+  author =       {Antonio Carzaniga and Gian Pietro Picco and Giovanni Vigna},
+  title =        {{Designing Distributed Applications with Mobile Code Paradigms}},
+  booktitle =    {Proceedings of the International Conference on Software Engineering (ICSE)},
+  year =         {1997},
+  month =        {April},
+  address =      {Boston, MA},
+  publisher =    {ACM Press},
+  pages =        {22--32}
+}

aixcc/publications/1997_ghezzi_vigna_ma97.bib

@@ -0,0 +1,13 @@
+@InProceedings{ghezzi97:case,
+  author = {Carlo Ghezzi and Giovanni Vigna},
+  title = {{Mobile Code Paradigms and Technologies: A Case Study}},
+  booktitle = {Proceedings of the International Workshop on Mobile Agents (MA)},
+  pages = {39--49},
+  editor = {K. Rothermel and R. Popescu-Zeletin},
+  publisher = {Springer-Verlag},
+  address = {Berlin, Germany},
+  series = {LNCS},
+  volume = 1219,  
+  year = 1997,     
+  month = {April}
+}        

aixcc/publications/1997_vigna_mos97.bib

@@ -0,0 +1,10 @@
+@InProceedings{vigna97:protecting,
+  author =       {Giovanni Vigna},
+  title =        {{Protecting Mobile Agents through Tracing}},
+  booktitle =    {Proceedings of the International ECOOP Workshop on Mobile Object Systems},
+  year =         1997,
+  month =        {June},
+  address =      {Jyvaskyla, Finland},
+  note = {Online Proceedings}
+}
+ 

aixcc/publications/1998_coda_ghezzi_vigna_garzotto_iwssd98.bib

@@ -0,0 +1,11 @@
+@InProceedings{coda98:towards,
+  author = 	 {Francesco Coda and Carlo Ghezzi and Giovanni Vigna and Franca Garzotto},
+  title = 	 {{Towards a Software Engineering Approach to Web Site Development}},
+  booktitle = 	 {Proceedings of the International Workshop on Software Specification and Design},
+  publisher =    {IEEE Press},
+  pages =        {8--17},
+  year =	 1998,
+  address =	 {Ise-Shima, Japan},
+  month =	 {April}
+}
+

aixcc/publications/1998_fuggetta_picco_vigna_understanding.bib

@@ -0,0 +1,10 @@
+@Article{fuggetta98:understanding,
+  author = 	 {Alfonso Fuggetta and Gian Pietro Picco and Giovanni Vigna},
+  title = 	 {{Understanding Code Mobility}},
+  journal = 	 {IEEE Transactions on Software Engineering},
+  year = 	 {1998},
+  volume = 	 {24},
+  number = 	 {5},
+  pages = 	 {342--361},
+  month = 	 {May}
+}

aixcc/publications/1998_ghezzi_vigna_LNCS1526.bib

@@ -0,0 +1,12 @@
+@InCollection{ghezzi98:softengissues,
+  author = 	 {Carlo Ghezzi and Giovanni Vigna},
+  title = 	 {{Software Engineering Issues in Network Computing}},
+  booktitle = 	 {Requirements Targeting Software and Systems Engineering},
+  publisher =	 {Springer-Verlag},
+  year =	 1998,
+  editor =	 {M. Broy and B. Rumpe},
+  pages =        {101--123},
+  volume =	 1526,
+  series =	 {LNCS},
+  month =	 {August}
+}

aixcc/publications/1998_vigna_CryptoTraces.bib

@@ -0,0 +1,12 @@
+@InCollection{vigna98:cryptotraces,
+  author = 	 {Giovanni Vigna},
+  title = 	 {{Cryptographic Traces for Mobile Agents}},
+  booktitle = 	 {Mobile Agents and Security},
+  publisher =	 {Springer-Verlag},
+  pages =	 {137--153},
+  year =	 1998,
+  volume =	 1419,
+  series =	 {LNCS State-of-the-Art Survey},
+  month =	 {June}
+}
+

aixcc/publications/1998_vigna_LNCS1419.bib

@@ -0,0 +1,10 @@
+@Collection{vigna98:lncs1419,
+  editor =	 {Giovanni Vigna},
+  title = 	 {{Mobile Agents and Security}},
+  publisher = 	 {Springer-Verlag},
+  year = 	 1998,
+  volume =	 1419,
+  series =	 {LNCS State-of-the-Art Survey},
+  month =	 {June}
+}
+

aixcc/publications/1998_vigna_PhDThesis.bib

@@ -0,0 +1,9 @@
+@PhdThesis{vigna98:phdthesis,
+  author = 	 {Giovanni Vigna},
+  title = 	 {{Mobile Code Technologies, Paradigms, and Applications}},
+  school = 	 {Politecnico di Milano},
+  year = 	 1998,
+  address =	 {Milano, Italy},
+  month =	 {February}
+}
+

aixcc/publications/1998_vigna_bonomi_JECOM.bib

@@ -0,0 +1,8 @@
+@InProceedings{vigna98:jecom,
+  author = 	 {Giovanni Vigna and Luca Bonomi},
+  title = 	 {{A Model-Centered Electronic Commerce Middleware}},
+  booktitle = 	 {Proceedings of the International IFIP Working Conference on Trends in Electronic Commerce (TrEC)},
+  year =	 1998,
+  address =	 {Hamburg, Germany},
+  month =	 {June}
+}

aixcc/publications/1998_vigna_kemmerer_acsac98.bib

@@ -0,0 +1,12 @@
+@InProceedings{vigna98:netstat,
+  author = 	 {Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{NetSTAT: A Network-based Intrusion Detection Approach}},
+  booktitle = 	 {Proceedings of the Annual Computer Security Applications Conference (ACSAC)},
+  year =	 1998,
+  address =	 {Scottsdale, AZ},
+  pages =	 {25--34},
+  publisher =    {IEEE Press},
+  month =	 {December},
+  note = {Best Paper Award}
+}
+

aixcc/publications/1999_fischmeister_vigna_MobileCodeSecurity.bib

@@ -0,0 +1,8 @@
+@techreport{fisch99:security,
+	Author = {Sebastian Fischmeister and Giovanni Vigna},
+	Institution = {Department of Computer Science, UCSB},
+	Month = {December},
+	Title = {{Security Analysis of Mobile Code Systems}},
+	Year = 1999
+}
+

aixcc/publications/1999_vigna_kemmerer_jcs99.bib

@@ -0,0 +1,11 @@
+@Article{vigna99:netstat,
+  author =	 {Giovanni Vigna and Richard Kemmerer},
+  title =	 {{NetSTAT: A Network-based Intrusion Detection System}},
+  journal =	 {Journal of Computer Security},
+  pages =        {37--71},
+  publisher =    {IOS Press},
+  month =        {January},
+  volume =	 7,
+  number =       1,		
+  year =	 1999
+}

aixcc/publications/2000_dossantos_vigna_kemmerer_wspec00.bib

@@ -0,0 +1,9 @@
+@InProceedings{santos00:testing,
+  author = 	 {Andre dos Santos and Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{Security Testing of the Online Banking Service of a Large International Bank}},
+  booktitle =	 {Proceedings of the ACM Workshop on Security and Privacy in E-Commerce (WSPEC)},
+  year =	 2000,
+  address =	 {Athens, Greece},
+  pages =        {1--13},
+  month =	 {November}
+}

aixcc/publications/2000_eckmann_vigna_kemmerer_statl.bib

@@ -0,0 +1,8 @@
+@InProceedings{eckmann00:statl,
+  author = 	 {Steve Eckmann and Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{STATL: An Attack Language for State-based Intrusion Detection}},
+  booktitle = 	 {Proceedings of the ACM Workshop on Intrusion Detection Systems},
+  year =	 2000,
+  address =	 {Athens, Greece},
+  month =	 {November}
+}

aixcc/publications/2000_vigna_eckmann_kemmerer_attacklanguages.bib

@@ -0,0 +1,10 @@
+@InProceedings{vigna00:attacklanguages,
+  author = 	 {Giovanni Vigna and Steve Eckmann and Richard Kemmerer},
+  title = 	 {{Attack Languages}},
+  booktitle = 	 {Proceedings of the IEEE Information Survivability Workshop (ISW)},
+  pages =        {163--166},
+  year =	 2000,
+  address =	 {Boston, MA},
+  month =	 {October}
+}
+

aixcc/publications/2000_vigna_eckmann_kemmerer_discex00.bib

@@ -0,0 +1,10 @@
+@InProceedings{vigna00:stat,
+  author = 	 {Giovanni Vigna and Steve Eckmann and Richard Kemmerer},
+  title = 	 {{The STAT Tool Suite}},
+  booktitle = 	 {Proceedings of DISCEX},
+  address =      {Hilton Head, SC},
+  pages =        {46--55},
+  month =        {January},
+  year =	 2000,
+  publisher =	 {IEEE Press}
+}

aixcc/publications/2001_dossantos_vigna_kemmerer_ecomm01.bib

@@ -0,0 +1,12 @@
+@InCollection{santos01:ecomm,
+  author = 	 {Andre dos Santos and Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{Security Testing of an Online Banking Service}},
+  booktitle = 	 {E-Commerce Security and Privacy},
+  pages =	 {3--15},
+  publisher =	 {Kluwer Academic Publishers},
+  month =        {January},
+  year =	 2001,
+  editor =	 {A. Ghosh},
+  series =	 {Advances in Information Security}
+}
+

aixcc/publications/2001_fischmeister_vigna_kemmerer_ma01.bib

@@ -0,0 +1,15 @@
+@InProceedings{fischmeister01:evaluating,
+  author = 	 {Sebastian Fischmeister and Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{Evaluating the Security Of Three Java-Based Mobile Agent Systems}},
+  booktitle = 	 {Proceedings of the International Conference on Mobile Agents (MA)},
+  editor =       {Gian Pietro Picco},
+  year =	 2001,
+  address =      {Atlanta, GA},
+  series =	 {LNCS},
+  volume =       {2240},
+  pages =        {31--41},
+  month =	 {December},
+  publisher =	 {Springer-Verlag}
+}
+
+

aixcc/publications/2001_orso_harrold_vigna_wsem01.bib

@@ -0,0 +1,8 @@
+@InProceedings{orso01:massa,
+  author = 	 {Alessandro Orso and Mary Jean Harrold and Giovanni Vigna},
+  title = 	 {{MASSA: Mobile Agents Security through Static/Dynamic Analysis}},
+  booktitle =	 {Proceedings of the ICSE Workshop on Software Engineering and Mobility (WSEM)},
+  address =      {Toronto, Canada},
+  year =	 2001,
+  month =	 {April}
+}

aixcc/publications/2001_vigna_kemmerer_blix_raid01.bib

@@ -0,0 +1,14 @@
+@InProceedings{vigna01:designing,
+  author = 	 {Giovanni Vigna and Richard Kemmerer and Per Blix},
+  title = 	 {{Designing a Web of Highly-Configurable Intrusion Detection Sensors}},
+  booktitle = 	 {Proceedings of the International Symposium on Recent Advances in Intrusion Detection (RAID)},
+  pages =	 {69--84},
+  year =	 2001,
+  editor =	 {Wenke Lee and L. Me and A. Wespi},
+  volume =	 2212,
+  series =	 {LNCS},
+  address =	 {Davis, CA},
+  month =	 {October},
+  publisher =	 {Springer-Verlag}
+}
+

aixcc/publications/2002_eckmann_vigna_kemmerer_jcs02.bib

@@ -0,0 +1,11 @@
+@Article{eckmann02:statl,
+  author = 	 {Steve Eckmann and Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{STATL: An Attack Language for State-based Intrusion Detection}},
+  journal = 	 {Journal of Computer Security},
+  publisher =    {IOS Press},
+  volume =	 10,
+  month =        {January},
+  number =	 {1/2},
+  pages =	 {71-104},
+  year = 	 2002
+}

aixcc/publications/2002_kemmerer_vigna_IntrusionDetection.bib

@@ -0,0 +1,11 @@
+@Article{kemmerer02:intrusion,
+  author = 	 {Richard Kemmerer and Giovanni Vigna},
+  title = 	 {{Intrusion Detection: A Brief History and Overview}},
+  journal = 	 {IEEE Computer},
+  month = 	 {April},
+  volume =       1,
+  number =       1,
+  pages = 	 {27--30},
+  year = 	 2002,
+  note =	 {Special publication on Security and Privacy}
+}

aixcc/publications/2002_kruegel_valeur_vigna_kemmerer_secpriv02.bib

@@ -0,0 +1,10 @@
+@InProceedings{kruegel02:stateful,
+  author = 	 {Christopher Kruegel and Fredrik Valeur and Giovanni Vigna and Richard Kemmerer},
+  title = 	 {{Stateful Intrusion Detection for High-Speed Networks}},
+  booktitle =	 {Proceedings of the IEEE Symposium on Security and Privacy},
+  year =	 2002,
+  address =	 {Oakland, CA},
+  pages =	 {285--293},
+  month =	 {May},
+  publisher =	 {IEEE Press}
+}

aixcc/publications/2002_mittal_vigna_ccs02.bib

@@ -0,0 +1,11 @@
+@InProceedings{mittal02:sensor,
+  author = 	 {Vishal Mittal and Giovanni Vigna},
+  title = 	 {{Sensor-Based Intrusion Detection for Intra-Domain Distance-Vector Routing}},
+  booktitle =	 {Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
+  year =	 2002,
+  editor =	 {R. Sandhu},
+  pages =	 {127--137},
+  address =	 {Washington, DC},
+  month =	 {November},
+  publisher =	 {ACM Press}
+}

aixcc/publications/2002_vigna_cassell_fayram_ma02.bib

@@ -0,0 +1,14 @@
+@InProceedings{vigna02:agletsids,
+  author = 	 {Giovanni Vigna and Bryan Cassell and Dave Fayram},
+  title = 	 {{An Intrusion Detection System for Aglets}},
+  booktitle =	 {Proceedings of the International Conference on Mobile Agents (MA)},
+  year =	 2002,
+  address =      {Barcelona, Spain},
+  editor =	 {N. Suri},
+  series =	 {LNCS},
+  volume =	 {2535},
+  pages =	 {64--77},
+  month =	 {October},
+  publisher =	 {Springer-Verlag}
+}
+

aixcc/publications/2002_vigna_mitchell_iceccs02.bib

@@ -0,0 +1,11 @@
+@InProceedings{vigna02:designing,
+  author = 	 {Giovanni Vigna and Andrew Mitchell},
+  title = 	 {{Mnemosyne: Designing and Implementing Network Short-Term Memory}},
+  booktitle =	 {Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)},
+  year =	 2002,
+  pages =	 {91--100},
+  address =	 {Greenbelt, MD},
+  month =	 {December},
+  publisher =	 {IEEE Press}
+}
+