David Isaac Wolinsky

David Isaac Wolinsky	Tuesday 26^th May, 2015

Department of Computer Science	E-mail: isaac.wolinsky@gmail.com
Yale University	Web: http://www.davidwolinsky.com
51 Prospect Street	Phone: (352) 283-4066
New Haven, CT 06511	PDF Download

Education
Ph.D. in Electrical-Computer Engineering, August 2011, University of Florida, Advisor: Renato J Figueiredo
Thesis: “Design and Implementation of User-friendly, Self-configuring, and Scalable Virtual Private Networks”
M.S. in Electrical-Computer Engineering, May 2007, University of Florida, Advisor: Renato J Figueiredo
Thesis: “Design Space Exploration of Virtual Machine Appliances for Wide-Area Distributed Computing,”
B.S. in Electrical-Computer Engineering, May 2005, University of Florida

Research Experience

Research Scientist - 06/11 to current - Yale University - Member of Decentralized and Distributed Systems (Dedis) Group. Research topics: anonymous, accountable, intersection resistant group communication, cloud reliability, biometric authentication, and anonymous authentication.
Systems Administrator - 06/08 to 06/11 - University of Florida - Member of Advanced Computing Information Systems (ACIS) Lab Primary developer and maintainer of a multi-university distributed, decentralized computing grid for computer architecture research, Archer.
Research Assistant - 05/06 to 06/11 - University of Florida - Member of ACIS. Research topics: decentralized computing, peer-to-peer networks, virtual machines, virtual networks, grid computing.

Teaching / Mentoring Experience

Lecturer for Operating Systems (CS422/522) - Fall 2014 - 20 students.
Advising / mentoring graduate students - Summer 2009 to current - 10 students.
Senior Design Projects - 2013, 2014 - 1 semester project with students. 6 students.
Mentor for Interns - 2012, 2014 - 4 interns.
Teacher’s assistant for Virtual Computers (EEL6892) - Spring 2010 - 47 students.
Teacher’s assistant for Principles of Computer System Design (EEL4930 / EEL5934) - Fall 2010 - 41 students.
Mentor for University of Florida’s High School Student Science Training Program (SSTP) 2007, 2009, and 2010 - 7 week period with juniors in high school. 3 students.
Teacher’s assistant for Digital Computer Architecture (EEL4713) - Spring 2006 - 25 students.

Conference Publications

1.: Ennan Zhai, Ruichuan Chen, David I Wolinsky, and Bryan Ford, “Heading Off Correlated Failures through Independence-as-a-Service”, USENIX Symposium on Operating Systems Design and Implementation (OSDI), 10/2014
2.: David I Wolinsky, Daniel Jackowitz, and Bryan Ford, “Managing NymBoxes for Identity and Tracking Protection”, USENIX Conference on Timely Results in Operating Systems (TRIOS), 10/2014
3.: David I Wolinsky, Ewa Syta, and Bryan Ford, “Hang With Your Buddies to Resist the Intersection Attack”, ACM Conference on Computer and Communications Security (CCS), 11/2013
4.: Henry Corrigan-Gibbs, David I Wolinsky, and Bryan Ford, “Proactively Accountable Anonymous Messaging in Verdict”, USENIX Security, 08/2013
5.: David I Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson, “Dissent in Numbers: Making Strong Anonymity Scale”, USENIX Symposium on Operating Systems Design and Implementation (OSDI), 10/2012
6.: Han Zhao, Ze Yu, Shivam Tiwari, Xing Mao, Kyungyong Lee, David I Wolinsky, Xiaolin Andy Li and Renato J Figueiredo, “CloudBay: Enabling an Online Resource Market Place for Open Clouds”, IEEE/ACM International Conference on Utility and Cloud Computing (UCC), 11/2012
7.: Kyungyong Lee, David I Wolinsky, and Renato J Figueiredo, “PonD : Dynamic Creation of HTC Pool on Demand Using a Decentralized Resource Discovery System”, ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC), 06/2012
8.: Heungsik Eom, David I Wolinsky, and Renato J Figueiredo, “SOLARE: Self-Organizing Latency-Aware Resource Ensemble”, IEEE International Conference on High Performance Computing and Communications (HPCC-2011), 09/2011
9.: David I Wolinsky and Renato J Figueiredo, “Experiences with Self-Organizing Decentralized Grids Using the Grid Appliance”, ACM International Symposium on High Performance Distributed Computing (HPDC), 06/2011
10.: Pierre St. Juste, David I Wolinsky, Kyungyong Lee, P Oscar Boykin, and Renato J Figueiredo, “SocialDNS: A Decentralized Naming Service for Collaborative P2P VPNs”, International Conference on Collaborative Computing (CollaborateCom), 10/2010
11.: David I Wolinsky, Kyungyong Lee, P Oscar Boykin, and Renato Figueiredo, “On the Design of Autonomic, Decentralized VPNs”, International Conference on Collaborative Computing (CollaborateCom), 10/2010
12.: David I Wolinsky, Pierre St. Juste, P Oscar Boykin, and Renato Figueiredo, “Addressing the P2P Bootstrap Problem for Small Overlay Networks”, IEEE International Conference on Peer-to-Peer Computing (P2P), 08/2010
13.: David I Wolinsky, Yonggang Liu, Pierre St. Juste, Girish Venkatasubramanian, Renato J Figueiredo, “On the Design of Scalable, Self-Configuring Virtual Networks”, SuperComputing, 11/2009
14.: Renato J Figueiredo, P Oscar Boykin, Jos A B Fortes, Tao Li, Jie-Kwon Peir, David I Wolinsky, Lizy K John, David R Kaeli, David J Lilja, Sally A McKee, Gokhan Memik, Alain Roy, Gary S Tyson, “Archer: A Community Distributed Computing Infrastructure for Computer Architecture Research and Education”, International Conference on Collaborative Computing (CollaborateCom), 11/2008
15.: Arijit Ganguly, David I Wolinsky, P Oscar Boykin, and Renato Figueiredo, “Improving Peer Connectivity in Wide-area Overlays of Virtual Workstations”, IEEE High Performance Distributed Computing (HPDC). Best paper award, 06/2008
16.: Sebastien Goasguen, Krishna Madhava, David I Wolinsky, Renato J Figueiredo, Jaime Frey, Alain Roy, Paul Ruth, and Dongyan Xu, “Middleware Integration and Deployment Strategies for Cyberinfrastructures”, International Conference on Grid and Pervasive Computing (GPC), 05/2008

Journal Publications

17.: Ewa Syta, Henry Corrigan-Gibbs, Shu-Chun Weng, David I Wolinsky, Bryan Ford, and Aaron Johnson, “Security Analysis of Accountable Anonymity in Dissent”, ACM Transactions on Information and System Security (TISSEC), 08/2014
18.: David I Wolinsky, Panoat Chuchaisri, Kyungyong Lee, and Renato Figueiredo, “Experiences with Self-Organizing Decentralized Grids Using the Grid Appliance”, International Journal of Cluster Computing, 06/2013
19.: Justin Davis, Renato J Figueiredo, Y Peter Sheng, Jose Fortes, Arijit Ganguly , Vladimir A Paramygin, David I Wolinsky, Jian Zhang, and Bilge Tutak, “Application of Emerging Cyberinfrastructure Technologies to Aid in the Education and Training of Coastal and Estuarine Scientists”, Journal of Ocean Technology, 03/2010
20.: Pierre St Juste, David I Wolinsky, P Oscar Boykin, Michael Covington, and Renato J Figueiredo, “SocialVPN: Enabling Wide-Area Collaboration with Integrated Social and Overlay Networks”, Journal of Computer Networks, 08/2010
21.: Renato J Figueiredo, P Oscar Boykin, Jos A B Fortes, Tao Li, Jie-Kwon Peir, David I Wolinsky, Lizy K John, David R Kaeli, David J Lilja, Sally A McKee, Gokhan Memik, Alain Roy, Gary S Tyson, “Archer: A Community Distributed Computing Infrastructure for Computer Architecture Research and Education”, Collaborative Computing: Networking, Applications and Worksharing, 2009
22.: Arijit Ganguly, David I Wolinsky, P Oscar Boykin, and Renato J Figueiredo, “Improving Peer Connectivity in Wide-area Overlays of Virtual Workstations”, Journal on Cluster Computing, 2009

Short Papers and Workshop Publications

23.: Ewa Syta, Iulia Tamas, Dylan Visher, David Isaac Wolinsky, Bryan Ford, “Certificate Cothority: Towards Trustworthy Collective CAs”, Hot Topics in Privacy Enhancing Technologies (HotPETs), 07/2015
24.: John Maheswaran, David I Wolinsky, and Bryan Ford, “Crypto-Book: An Architecture for Privacy Preserving Online Identities”, Hot Topics in Networks (HotNets), 11/2013
25.: Ennan Zhai, Ruichuan Chen, David I Wolinsky, and Bryan Ford, “An Untold Story of Redundant Clouds: Making Your Service Deployment Truly Reliable”, Hot Topics in Dependable Systems (HotDep), 11/2013
26.: Michael F Nowlan, David I Wolinsky, and Bryan Ford, “Reducing Latency in Tor Circuits with Unordereded Delivery”, USENIX Workshop onf Free and Open Communications on the Internet (FOCI), 08/2013
27.: David I Wolinsky, Ewa Syta, and Bryan Ford, “Hang With Your Buddies to Resist the Intersection Attack”, DIMACS Working Group on Measuring Anonymity, 05/2013
28.: Xiaoxiao Song, David I Wolinsky, and Bryan Ford, “Faceless: Decentralized Anonymous Group Messaging For Online Social Networks”, Workshop on Social Network Systems (SNS), 04/2012
29.: David I Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson, “Scalable Anonymous Group Communication in the Anytrust Model”, European Workshop on System Security (EuroSec), 04/2012
30.: Pierre St. Juste, David I Wolinsky, P Oscar Boykin, and Renato J Figueiredo, “Litter: A Lightweight Peer-to-Peer Microblogging Service”, IEEE International Conference on Social Computing (SocialCom), 10/2011
31.: Kyungyong Lee, Tae Woong Choi, Arijit Ganguly, David I Wolinsky, Oscar Boykin, Renato J Figueiredo, “Parallel Processing Framework on a P2P System Using Map and Reduce Primitives”, International Workshop on Hot Topics in Peer-to-Peer Systems (Hot-P2P), 05/2011
32.: David I Wolinsky, Arjun Prakash, and Renato J Figueiredo, “Grid Appliance – On the Design of Self-Organizing, Decentralized Grids”, IEEE Workshop on Management of Emerging Networks and Services (MENS), 12/2010
33.: Girish Venkatasubramanian, David I Wolinsky, and Renato J Figueiredo, “Towards Collaborative Research and Education in Computer Architecture with the Archer System”, IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 08/2010
34.: David I Wolinsky, Pierre St. Juste, P Oscar Boykin, and Renato Figueiredo, “OverSoc: Social Profile Based Overlays”, Workshop on Collaborative Peer-to-Peer Systems (COPS), 06/2010
35.: David I Wolinsky, Yonggang Liu, Renato J Figueiredo, “Towards a Uniform Self-Configuring Virtual Private Network for Workstations and Clusters in Grid Computing”, Workshop on Virtualization Technologies in Distributed Computing (VTDC), 6/2009
36.: Pierre St. Juste, David I Wolinsky, Jiangyan Xu, Michael Covington, and Renato J Figueiredo, “On the Use of Social Networking Groups for Automatic Configuration of Virtual Grid Environments”, Grid Computing Environments(GCE), 11/2008
37.: Renato J Figueiredo, P Oscar Boykin, Pierre St. Juste, and David I Wolinsky, “Social VPNs: Integrating Overlay and Social Networks for Seamless P2P Networking”, Workshop on Collaborative Peer-to-Peer Systems (COPS), 06/2008
38.: Renato J Figueiredo, P Oscar Boykin, Pierre St. Juste, and David I Wolinsky, “Facilitating the Deployment of Ad-hoc Virtual Organizations with Integrated Social and Overlay Networks”, Hot Topics in IEEE High Performance Distributed Computing (HPDC), 06/2008
39.: Vineet Chadha, David I Wolinsky, and Renato J Figueiredo, “Provisioning of Virtual Environments for Wide Area Desktop Grids through Redirect-on-Write Distributed File System”, Workshop on Desktop Grids and Volunteer Computing Systems (PCGrid), 04/2008
40.: David I Wolinsky and Renato J Figueiredo, “Simplifying Resource Sharing in Voluntary Grid Computing With the Grid Appliance”, Workshop on Desktop Grids and Volunteer Computing Systems (PCGrid), 04/2008
41.: Arijit Ganguly, David I Wolinsky, P Oscar Boykin, and Renato J Figueiredo, “Decentralized Dynamic Host Configuration in Wide-Area Overlay Networks of Virtual Workstations”, Workshop on Large-Scale and Volatile Desktop Grids (PCGrid), 03/2007
42.: David I Wolinsky, Abhishek Agrawal, P Oscar Boykin, Justin Davis, Arijit Ganguly, Vladimir Paramygin, Peter Sheng, and Renato J Figueiredo, “On the Design of Virtual Machine Sandboxes for Distributed Computing in Wide Area Overlays of Virtual Workstations”, Workshop on Virtualization Technologies in Distributed Computing (VTDC), 11/2006

Publications in Preparation

43.: Ewa Syta, Iulia Tamas, Dylan Visher, David Isaac Wolinsky, Bryan Ford, “Scalable Strongest-Link Trust with Decentralized Collective Authorities”
44.: Weiyi Wu, Ennan Zhai, Daniel Jackowitz, David Isaac Wolinsky, Liang Gu, Bryan Ford, “Warding off timing attacks in Deterland”
45.: Ewa Syta, David I Wolinsky, Michael J Fischer, Abraham Silberschatz, Bryan Ford, Gina Gallegos-Garcia, “Epiphany: Efficient and Privacy-Preserving Authentication”
46.: Ewa Syta, Benjamin Peterson, David I Wolinsky, Bryan Ford, “TrustiLeaks: Deniable Anonymous Group Authentication”
47.: Daniel Jackowitz, David I Wolinsky, Bryan Ford, “PriFi Networking: Neighborhood-Area Anonymity”
48.: Weiyi Wu, Daniel Jackowitz, Ennan Zhai, David I Wolinsky, Bryan Ford, “Warding Off Timing Attacks in Deterland”
49.: Ennan Zhai, Ewa Syta, David I Wolinsky, Bryan Ford, “Maintaining the Peace with Anonymous Reputation”

Invited Talks

1.: “Enforcing Anonymity and Improving Pseudonymity in Tails”, Tails Hackfest 2014, 07/05/14
2.: “Design, Implementation, and Applications of Peer-to-Peer Virtual Private Networks From Grids to Social Networks”, Yale University, 05/06/11
3.: “Archer A Community Distributed Computing Infrastructure for Computer Architecture Research and Education”, Universities of Northeastern, Minnesota, and Texas at Austin, 09/[14,16,18]/09
4.: “Autonomic Condor Clouds”, Condor Week, 04/2009
5.: “IPOP - IP over P2P Virtual Networking for Grid Computing”, Open Science Grid All Hands, 03/2009

Presentations and Posters

6.: “Tracking Resistance in PriFi”, EPFL Security Workshop, 03/2015
7.: “Tracking Resistance in PriFi”, EuroSys Program Committee Workshop, 01/2015
8.: “Managing NymBoxes for Identity and Tracking Protection”, USENIX Conference on Timely Results in Operating Systems (TRIOS), 10/2014
9.: “Hang With Your Buddies to Resist the Intersection Attack”, ACM Conference on Computer and Communications Security (CCS), 11/2013
10.: “Reducing Latency in Tor Circuits with Unordereded Delivery”, USENIX Workshop onf Free and Open Communications on the Internet (FOCI), 08/2013
11.: “Strong, Scalable Anonymity with Dissent”, USENIX Symposium on Operating Systems Design and Implementation (OSDI), 10/2012
12.: “Scalable Anonymous Group Communication in the Anytrust Model”, European Workshop on System Security (EuroSec), 04/2012
13.: “Experiences with Self-Organizing, Decentralized Grids Using the Grid Appliance”, IEEE High Performance Distributed Computing (HPDC), 06/2011
14.: “Grid Appliance – On the Design of Self-Organizing, Decentralized Grids”, IEEE Workshop on Management of Emerging Networks and Services (MENS), 12/2010
15.: “On the Design of Autonomic, Decentralized VPNs”, International Conference on Collaborative Computing (CollaborateCom), 10/2010
16.: “Addressing the P2P Bootstrap Problem for Small Overlay Networks”, IEEE International Conference on Peer-to-Peer Computing (P2P), 08/2010
17.: “OverSoc: Social Profile Based Overlays”, Workshop on Collaborative Peer-to-Peer Systems (COPS), 06/2010
18.: “Applications of Wide-Area, Self-Configuring Virtual Networks: Grid Appliances and VPNs”, International Workshop on Peer-to-Peer Systems (IPTPS’10) Demo Session, 04/2010
19.: “Applications of Wide-Area, Self-Configuring Virtual Networks”, International Conference on Autonomic Computing 2009 Poster Session, 06/2009
20.: “Towards a Uniform Self-Configuring Virtual Private Network for Workstations and Clusters in Grid Computing”, Workshop on Virtualization Technologies in Distributed Computing (VTDC), 6/2009
21.: “Applications of Self-organizing Social/Overlay Network in Wide-Area Collaborative Environments”, International Conference on Collaborative Computing Tutorial (CollaborateCom), 11/2008
22.: “Archer: A Community Distributed Computing Infrastructure for Computer Architecture Research and Education.”, SuperComputing Poster Session, 11/2008
23.: “Applications of Wide-Area Self-Configuring Virtual Networks: Grid Appliances and Social Virtual Networks”, IEEE High Performance Distributed Computing (HPDC) Poster Session, 06/2008
24.: “Simplifying resource sharing in voluntary grid computing with the grid appliance”, Workshop on Desktop Grids and Volunteer Computing Systems (PCGrid), 04/2008
25.: “On the Design of Virtual Machine Sandboxes for Distributed Computing in Wide Area Overlays of Virtual Workstations”, Workshop on Virtualization Technologies in Distributed Computing (VTDC), 11/2006

Published Open Source Software

Dissent - 06/11 to current - A C++ framework and run-time for large-scale, accountable group anonymity. Supports groups over 5,000 using a variety of different communication methods (Dissent CCS’10, Dissent OSDI’12, Verdict USENIX Security ’13, Buddies CCS’13). Each approach supports provable anonymity with accountability to enable members to determine misbehaving peers.
WiNoN / Nymix - 11/12 to 10/14 - A anonymous communication platform that minimizes accidental information leakage in order to protect users anonymity. Makes use of virtualization for isolation of both the userspace and communication tools. A user may run many parallel userspaces or effectively a pseudonym thereby minimizing their fingerprint and the adversaries ability to identify them. Makes use of USB boot and encrypted cloud storage to provide plausable deniability.
Anonymity Simulator - 10/12 to current - A python library for acquiring data sets from IRC (Internet Relay Chat) and Twitter. As well as a data parser and simulator for evaluating intersection resistance in group anonymous communication systems.
Grid Appliance - 05/06 to 09/11 - Ad hoc Distributed, decentralized grid system using virtual, physical, and cloud resources. Originally based upon Debian and later Ubuntu using Condor for batch job scheduling and IPOP for virtual networking. Initial configuration and security credentials obtained through a web interfaces.
IPOP – IP over P2P - 05/06 to 09/12 - Lead developer – Structured P2P, completly decentralized virtual networking stack written in C#, 7,000 lines of code. Supports DHCP, multicast, ARP, transparent subnet gateway, network address translation, and firewalls. Built on top of Brunet. Used to build “GroupVPN” and “SocialVPN”.
Brunet - 05/07 to 09/12 - Structured P2P framework written in C#, 41,000 lines of code. Supports completely decentralized NAT traversal via hole punching and relays, DHT, edge and overlay security, xmlrpc bridge, private overlay bootstrapping, and a built-in Simulator. My contributions were support for relays, DHT, security, bootstrapping from existing overlays, and a built-in simulator.

Community Service

Conference program commitee member:
- International Conference on Security and Privacy in Communication Networks (SecureComm) 2015
- IEEE Conference on Peer-to-Peer Computing (P2P) 2015
- EuroSys (Shadow PC) 2015
- International Conference on Digital Forensics and Cyber Crime (ICDF2C) 2014
Journal reviewing:
- International Journal of Cluster Computing 2012–2015
- IEEE Transactions on Dependable and Secure Computing 2014–2015
- Electronics and Telecommunications Research Institute (ETRI) 2010–2011
Workshop program commitee member:
- ACM Symposium on Operating Systems Principles (SOSP) Poster Session 2015
- Workshop on Privacy in the Electronic Society (WPES) 2015
- Workshop on Bio-inspired Cyber Security & Networking (BCSN) 2015
- Third International Workshop on Cyber Crime (IWCC) 2014–2015
- International Workshop on Hot Topics in Planet-scale mObile computing and online Social neTworking (HotPOST) 2015
Grant reviewing: Department of Energy 2013, 2014
External reviewing:
- ACM Special Interest Group on Data Communications (SIGCOMM) 2015
- USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2014
- ACM Symposium on Operating Systems Principles (SOSP) 2013
- ACM Conference on Computer and Communications Security (CCS) 2012
Open-source contributions: Mono, ST, Tails, and Xen.

Other highlights

Fluent in C, C++, C#, and Python. Significant experience with Bash, HTML DOM, Java, JavaScript, Latex, MySQL, and PHP. Interested in Erlang and Go.
Web and database management skills - Developer and administrator for the now deprecated www.grid-appliance.org, the Grid Appliance, Archer, and IPOP portal
David I Wolinsky and Renato J Figueiredo, VMware Appliance Client, VMware Challenge’06

References

Joan Feigenbaum
Professor
Computer Science
Yale University
51 Prospect St
New Haven, CT 06511
joan.feigenbaum@yale.edu
http://www.cs.yale.edu/homes/jf/
203-432-6432

Renato Figueiredo
Associate Professor
Electrical and Computer Engineering
University of Florida
P.O. Box 116200
Gainesville, FL, 32611
renato@acis.ufl.edu
http://byron.acis.ufl.edu
352-392-6430

Bryan Ford
Associate Professor
Computer Science
Yale University
51 Prospect St
New Haven, CT 06511
bryan.ford@yale.edu
http://www.brynosaurus.com/
203-432-1055

Vitaly Shmatikov
Professor
Computer Science
University of Texas at Austin
1 University Station D9500
Austin, TX 78712
shmat@cs.utexas.edu
https://www.cs.utexas.edu/~shmat/
512-471-9530