Travelled to:1 × Belgium
1 × The Netherlands
Collaborated with:F.Martinelli M.Ceccato T.R.Dean P.Tonella
Talks about:cryptograph (1) techniqu (1) protocol (1) composit (1) automat (1) analysi (1) system (1) revers (1) migrat (1) legaci (1)
Person: Davide Marchignoli
DBLP: Marchignoli:Davide
Contributed to:
2008
1999Wrote 2 papers:
- WCRE-2008-CeccatoDTM #java #legacy #migration #reverse engineering
- Data Model Reverse Engineering in Migrating a Legacy System to Java (MC, TRD, PT, DM), pp. 177–186.
- TACAS-1999-MarchignoliM #analysis #automation #composition #encryption #protocol #verification
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques (DM, FM), pp. 148–162.