Brazil Andre Scedrov University of Pennsylvania / UK Tajana Ban Kirigin University of Rijeka / University of London / /
IndustryTerm
bank@math.uniri.hr / bank account / bank transaction / bank customer / natural deduction systems / contract signing protocols / public key exchange protocol / security protocols / bank number account / collaborative systems / /
Organization
Food and Drug Administration / University of Pennsylvania / Philadelphia / UK Tajana Ban Kirigin University of Rijeka / University of London / /
Person
Andre Scedrov / Vivek Nigam Universidade / Max Kanovich Queen / Max Kanovich / Ban Kirigin / Ai / Mary / Vivek Nigam / /
Position
lab technician / nurse / predicate Nurse / RT / nurse / and a lab technician / model for collaborative systems based on multiset rewriting / secretary / Queen / /
Product
MSRs / /
ProvinceOrState
Pennsylvania / Washington / /
Technology
NeedhamSchroeder public key exchange protocol / NeedhamSchroeder protocol / public key exchange protocol / security protocols / contract signing protocols / drug development / /
Bounded memory Dolev-Yao adversaries in collaborative systems Max Kanovich Queen Mary, University of London, UK Tajana Ban Kirigin