`Travelled to:`

1 × Portugal

1 × Switzerland

4 × USA

`Collaborated with:`

R.Ostrovsky F.R.K.Chung L.Lu M.Bellare R.Venkatesan S.N.Bhatt S.Rajagopalan E.Kushilevitz A.Rosén B.Awerbuch B.M.Maggs S.Rao P.Colp M.Nanavati J.Zhu G.Coker T.Deegan P.Loscocco A.Warfield

`Talks about:`

graph (2) indistinguish (1) hypervisor (1) logarithm (1) asynchron (1) adversari (1) procedur (1) knowledg (1) function (1) approxim (1)

## Person: William Aiello

### DBLP: Aiello:William

### Contributed to:

### Wrote 6 papers:

- SOSP-2011-ColpNZACDLW #security
- Breaking up is hard to do: security and functionality in a commodity hypervisor (PC, MN, JZ, WA, GC, TD, PL, AW), pp. 189–202.
- ICALP-2000-AielloBOR #performance #proving #verification
- Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP (WA, SNB, RO, SR), pp. 463–474.
- STOC-2000-AielloCL #graph #random
- A random graph model for massive graphs (WA, FRKC, LL), pp. 171–180.
- STOC-1998-AielloKOR #adaptation
- Adaptive Packet Routing for Bursty Adversarial Traffic (WA, EK, RO, AR), pp. 359–368.
- STOC-1995-AielloBV #statistics
- Knowledge on the average-perfect, statistical and logarithmic (WA, MB, RV), pp. 469–478.
- STOC-1993-AielloAMR #approximate #network
- Approximate load balancing on dynamic and asynchronous networks (WA, BA, BMM, SR), pp. 632–641.