It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

Jonathan M. Smith University of Pennsylvania, Philadelphia, PA, USA http://www.cis.upenn.edu/~jms/ https://www.wikidata.org/entity/Q21820655 https://en.wikipedia.org/wiki/Jonathan_M._Smith https://mathgenealogy.org/id.php?id=41481

David A. Basin Nate Foster Kenneth L. McMillan Kedar S. Namjoshi Cristina Nita-Rotaru Jonathan M. Smith Pamela Zave Lenore D. Zuck It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. 50-61 2025 August 68 Commun. ACM 8 https://doi.org/10.1145/3706572 db/journals/cacm/cacm68.html#BasinFMNNSZZ25 streams/journals/cacm

David A. Basin Nate Foster Kenneth L. McMillan Kedar S. Namjoshi Cristina Nita-Rotaru Jonathan M. Smith Pamela Zave Lenore D. Zuck It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. 2025 September abs/2509.13208 CoRR https://doi.org/10.48550/arXiv.2509.13208 db/journals/corr/corr2509.html#abs-2509-13208 streams/journals/corr

Oliver Michel John Sonchack Greg Cusack Maziyar Nazari Eric Keller Jonathan M. Smith Software Packet-Level Network Analytics at Cloud Scale. 597-610 2021 18 IEEE Trans. Netw. Serv. Manag. 1 https://doi.org/10.1109/TNSM.2021.3058653 db/journals/tnsm/tnsm18.html#MichelSCNKS21

Nick Roessler Lucas Atayde Imani Palmer Derrick Paul McKee Jai Pandey Vasileios P. Kemerlis Mathias Payer Adam Bates 0001 Jonathan M. Smith André DeHon Nathan Dautenhahn μSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts. 296-311 2021 RAID https://doi.org/10.1145/3471621.3471839 https://www.wikidata.org/entity/Q131119913 conf/raid/2021 db/conf/raid/raid2021.html#RoesslerAPMPKPB21 Joel Hypolite John Sonchack Shlomo Hershkop Nathan Dautenhahn André DeHon Jonathan M. Smith DeepMatch: practical deep packet inspection in the data plane using network processors. 336-350 2020 CoNEXT https://doi.org/10.1145/3386367.3431290 conf/conext/2020 db/conf/conext/conext2020.html#HypoliteSHDDS20

Cynthia Sturton Matthew Hicks Samuel T. King Jonathan M. Smith FinalFilter: Asserting Security Properties of a Processor at Runtime. 35-42 2019 39 IEEE Micro 4 https://doi.org/10.1109/MM.2019.2921509 db/journals/micro/micro39.html#SturtonHKS19

Henri Maxime Demoulin Nikos Vasilakis John Sonchack Isaac Pedisich Vincent Liu 0001 Boon Thau Loo Linh Thi Xuan Phan Jonathan M. Smith Irene Zhang TMC: Pay-as-you-Go Distributed Communication. 15-21 2019 APNet https://doi.org/10.1145/3343180.3343194 conf/apnet/2019 db/conf/apnet/apnet2019.html#DemoulinVSPLLPS19 Oliver Michel John Sonchack Eric Keller Jonathan M. Smith PIQ: Persistent Interactive Queries for Network Security Analytics. 17-22 2019 SDN-NFV@CODASPY https://doi.org/10.1145/3309194.3309197 conf/codaspy/2019sdn-nfv db/conf/codaspy/sdn-nfv2019.html#MichelSKS19 Nikos Vasilakis Ben Karel Yash Palkhiwala John Sonchack André DeHon Jonathan M. Smith Ignis: scaling distribution-oblivious systems with light-touch distribution. 1010-1026 2019 PLDI https://doi.org/10.1145/3314221.3314586 conf/pldi/2019 db/conf/pldi/pldi2019.html#VasilakisKPSDS19 John Sonchack Adam J. Aviv Eric Keller Jonathan M. Smith Turboflow: information rich flow record generation on commodity switches. 11:1-11:16 2018 EuroSys https://doi.org/10.1145/3190508.3190558 conf/eurosys/2018 db/conf/eurosys/eurosys2018.html#SonchackAKS18 Oliver Michel John Sonchack Eric Keller Jonathan M. Smith Packet-Level Analytics in Software without Compromises. 2018 HotCloud https://www.usenix.org/conference/hotcloud18/presentation/michel conf/hotcloud/2018 db/conf/hotcloud/hotcloud2018.html#MichelSKS18 Alexander Marder Matthew J. Luckie Amogh Dhamdhere Bradley Huffaker K. C. Claffy Jonathan M. Smith Pushing the Boundaries with bdrmapIT: Mapping Router Ownership at Internet Scale. 56-69 2018 Internet Measurement Conference https://dl.acm.org/citation.cfm?id=3278538 conf/imc/2018 db/conf/imc/imc2018.html#MarderLDHcS18 Nikos Vasilakis Pranjal Goel Henri Maxime Demoulin Jonathan M. Smith The Web as a Distributed Computing Platform. 7-12 2018 EdgeSys@MobiSys https://doi.org/10.1145/3213344.3213346 https://www.wikidata.org/entity/Q130858428 conf/mobisys/2018edgesys db/conf/mobisys/edgesys2018.html#VasilakisGDS18 Nikos Vasilakis Ben Karel Nick Roessler Nathan Dautenhahn André DeHon Jonathan M. Smith BreakApp: Automated, Flexible Application Compartmentalization. 2018 NDSS https://www.ndss-symposium.org/wp-content/uploads/2018/02/ndss2018_08-3_Vasilakis_paper.pdf conf/ndss/2018 db/conf/ndss/ndss2018.html#VasilakisKRDDS18 John Sonchack Oliver Michel Adam J. Aviv Eric Keller Jonathan M. Smith Scaling Hardware Accelerated Network Monitoring to Concurrent and Dynamic Queries With *Flow. 823-835 2018 USENIX ATC https://www.usenix.org/conference/atc18/presentation/sonchack conf/usenix/2018 db/conf/usenix/usenix2018.html#SonchackMAKS18

Simson L. Garfinkel Jeanna N. Matthews Stuart S. Shapiro Jonathan M. Smith Toward algorithmic transparency and accountability. 5 2017 60 Commun. ACM 9 https://doi.org/10.1145/3125780 https://www.wikidata.org/entity/Q50122688 db/journals/cacm/cacm60.html#GarfinkelMSS17

Nikos Vasilakis Yash Palkhiwala Jonathan M. Smith Query-efficient Partitions for Dynamic Data. 23:1-23:8 2017 APSys https://doi.org/10.1145/3124680.3124744 conf/apsys/2017 db/conf/apsys/apsys2017.html#VasilakisPS17 Nikos Vasilakis Ben Karel Nick Roessler Nathan Dautenhahn André DeHon Jonathan M. Smith Towards Fine-grained, Automated Application Compartmentalization. 43-50 2017 PLOS@SOSP https://doi.org/10.1145/3144555.3144563 https://www.wikidata.org/entity/Q131126843 conf/sosp/2017plos db/conf/sosp/plos2017.html#VasilakisKRDDS17 John Sonchack Anurag Dubey Adam J. Aviv Jonathan M. Smith Eric Keller Timing-based reconnaissance and defense in software-defined networks. 89-100 2016 ACSAC http://dl.acm.org/citation.cfm?id=2991081 conf/acsac/2016 db/conf/acsac/acsac2016.html#SonchackDASK16 Alexander Marder Jonathan M. Smith MAP-IT: Multipass Accurate Passive Inferences from Traceroute. 397-411 2016 Internet Measurement Conference http://dl.acm.org/citation.cfm?id=2987468 conf/imc/2016 db/conf/imc/imc2016.html#MarderS16 John Sonchack Jonathan M. Smith Adam J. Aviv Eric Keller Enabling Practical Software-defined Networking Security Applications with OFX. 2016 NDSS http://wp.internetsociety.org/ndss/wp-content/uploads/sites/25/2017/09/enabling-practical-software-defined-networking-security-applications-ofx.pdf conf/ndss/2016 db/conf/ndss/ndss2016.html#SonchackSAK16

Benoît Valiron Neil J. Ross Peter Selinger D. Scott Alexander Jonathan M. Smith Programming the quantum future. 52-61 2015 58 Commun. ACM 8 https://doi.org/10.1145/2699415 https://www.wikidata.org/entity/Q130922890 db/journals/cacm/cacm58.html#ValironRSAS15

John Sonchack Adam J. Aviv Jonathan M. Smith Cross-domain collaboration for improved IDS rule set selection. 25-40 2015 24-25 J. Inf. Secur. Appl. https://doi.org/10.1016/j.jisa.2015.10.001 db/journals/istr/istr24.html#SonchackAS15

Udit Dhawan Catalin Hritcu Raphael Rubin Nikos Vasilakis Silviu Chiricescu Jonathan M. Smith Thomas F. Knight Jr. Benjamin C. Pierce André DeHon Architectural Support for Software-Defined Metadata Processing. 487-502 2015 ASPLOS https://doi.org/10.1145/2694344.2694383 https://doi.org/10.1145/2775054.2694383 https://doi.org/10.1145/2786763.2694383 https://www.wikidata.org/entity/Q123244055 conf/asplos/2015 db/conf/asplos/asplos2015.html#DhawanHRVCSKPD15 Matthew Hicks Cynthia Sturton Samuel T. King Jonathan M. Smith SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs. 517-529 2015 ASPLOS https://doi.org/10.1145/2694344.2694366 https://doi.org/10.1145/2775054.2694366 https://doi.org/10.1145/2786763.2694366 https://www.wikidata.org/entity/Q114977431 conf/asplos/2015 db/conf/asplos/asplos2015.html#HicksSKS15 John Sonchack Adam J. Aviv Eric Keller Jonathan M. Smith POSTER: OFX: Enabling OpenFlow Extensions for Switch-Level Security Applications. 1678-1680 2015 CCS https://doi.org/10.1145/2810103.2810120 conf/ccs/2015 db/conf/ccs/ccs2015.html#SonchackAKS15 Katherine L. Gibson Jonathan M. Smith The emperor's new masks: On demographic differences and disguises. 57-64 2015 CVPR Workshops https://doi.org/10.1109/CVPRW.2015.7301320 https://doi.ieeecomputersociety.org/10.1109/CVPRW.2015.7301320 conf/cvpr/2015w db/conf/cvpr/cvprw2015.html#GibsonS15 Nikos Vasilakis Ben Karel Jonathan M. Smith From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud. 2015 HotOS https://www.usenix.org/conference/hotos15/workshop-program/presentation/vasilakis conf/hotos/2015 db/conf/hotos/hotos2015.html#VasilakisKS15 Sandy Clark Matt Blaze Jonathan M. Smith Smearing Fingerprints: Changing the Game of Web Tracking with Composite Privacy. 178-182 2015 Security Protocols Workshop https://doi.org/10.1007/978-3-319-26096-9_19 conf/spw/2015 db/conf/spw/spw2015.html#ClarkBS15 Li Erran Li Thomas W. Rondeau Jonathan M. Smith Proceedings of the 2015 Workshop on Software Radio Implementation Forum, SRIF@MobiCom 2015, Paris, France, September 7, 2015 SRIF@MobiCom ACM 2015 978-1-4503-3532-4 https://doi.org/10.1145/2801676 db/conf/mobicom/srif2015.html

Tom Anderson 0003 Ken Birman Robert M. Broberg Matthew Caesar 0001 Douglas Comer Chase Cotton Michael J. Freedman Andreas Haeberlen Zachary G. Ives Arvind Krishnamurthy William H. Lehr Boon Thau Loo David Mazières Antonio Nicolosi Jonathan M. Smith Ion Stoica Robbert van Renesse Michael Walfish Hakim Weatherspoon Christopher S. Yoo A brief overview of the NEBULA future internet architecture. 81-86 2014 44 Comput. Commun. Rev. 3 https://doi.org/10.1145/2656877.2656889 https://www.wikidata.org/entity/Q130993267 db/journals/ccr/ccr44.html#AndersonBBCCCFHIKLLMNSSRWWY14

Adam J. Aviv Matt Blaze Micah Sherr Jonathan M. Smith Privacy-aware message exchanges for HumaNets. 30-43 2014 48 Comput. Commun. https://doi.org/10.1016/j.comcom.2014.03.013 db/journals/comcom/comcom48.html#AvivBSS14

Sandy Clark Michael Collis Matt Blaze Jonathan M. Smith Moving Targets: Security and Rapid-Release in Firefox. 1256-1266 2014 CCS https://doi.org/10.1145/2660267.2660320 conf/ccs/2014 db/conf/ccs/ccs2014.html#ClarkCBS14 Albert Kwon Kaiyu Zhang Perk Lun Lim Yuchen Pan Jonathan M. Smith André DeHon RotoRouter: Router support for endpoint-authorized decentralized traffic filtering to prevent DoS attacks. 183-190 2014 FPT https://doi.org/10.1109/FPT.2014.7082774 conf/fpt/2014 db/conf/fpt/fpt2014.html#KwonZLPSD14 Udit Dhawan Nikos Vasilakis Raphael Rubin Silviu Chiricescu Jonathan M. Smith Thomas F. Knight Jr. Benjamin C. Pierce André DeHon PUMP: a programmable unit for metadata processing. 8:1-8:8 2014 HASP@ISCA https://doi.org/10.1145/2611765.2611773 https://www.wikidata.org/entity/Q130971424 conf/isca/2014hasp db/conf/isca/hasp2014.html#DhawanVRCSKPD14

Jonathan M. Smith Neil J. Ross Peter Selinger Benoît Valiron Quipper: Concrete Resource Estimation in Quantum Algorithms. 2014 abs/1412.0625 CoRR http://arxiv.org/abs/1412.0625 db/journals/corr/corr1412.html#SmithRSV14

Yan Grunenberger Jonathan M. Smith Observations from the 2012 mobile world congress in Barcelona. 43-45 2013 43 Comput. Commun. Rev. 1 https://doi.org/10.1145/2427036.2427044 db/journals/ccr/ccr43.html#GrunenbergerS13

Albert Kwon Udit Dhawan Jonathan M. Smith Thomas F. Knight Jr. André DeHon Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security. 721-732 2013 CCS https://doi.org/10.1145/2508859.2516713 conf/ccs/2013 db/conf/ccs/ccs2013.html#KwonDSKD13 Tom Anderson 0003 Ken Birman Robert M. Broberg Matthew Caesar 0001 Douglas Comer Chase Cotton Michael J. Freedman Andreas Haeberlen Zachary G. Ives Arvind Krishnamurthy William H. Lehr Boon Thau Loo David Mazières Antonio Nicolosi Jonathan M. Smith Ion Stoica Robbert van Renesse Michael Walfish Hakim Weatherspoon Christopher S. Yoo The NEBULA Future Internet Architecture. 16-26 2013 Future Internet Assembly https://doi.org/10.1007/978-3-642-38082-2_2 conf/fia/2013 db/conf/fia/fia2013.html#AndersonBBCCCFHIKLLMNSSRWWY13 John Sonchack Adam J. Aviv Jonathan M. Smith Bridging the Data Gap: Data Related Challenges in Evaluating Large Scale Collaborative Security Systems. 2013 CSET https://www.usenix.org/conference/cset13/workshop-program/presentation/sonchack conf/uss/2013cset db/conf/uss/cset2013.html#SonchackAS13

Yun Mao Boon Thau Loo Zachary G. Ives Jonathan M. Smith MOSAIC: Declarative platform for dynamic overlay composition. 64-84 2012 56 Comput. Networks 1 https://doi.org/10.1016/j.comnet.2011.08.006 db/journals/cn/cn56.html#MaoLIS12

Matvey Arye Robert Kiefer Kyle Super Erik Nordström Michael J. Freedman Eric Keller Tom Rondeau Jonathan M. Smith Increasing network resilience through edge diversity in NEBULA. 14-20 2012 16 ACM SIGMOBILE Mob. Comput. Commun. Rev. 3 https://doi.org/10.1145/2412096.2412099 db/journals/sigmobile/sigmobile16.html#AryeKSNFKRS12

Adam J. Aviv Benjamin Sapp Matt Blaze Jonathan M. Smith Practicality of accelerometer side channels on smartphones. 41-50 2012 ACSAC https://doi.org/10.1145/2420950.2420957 https://www.wikidata.org/entity/Q56093740 conf/acsac/2012 db/conf/acsac/acsac2012.html#AvivSBS12 Adam J. Aviv Micah Sherr Matt Blaze Jonathan M. Smith Privacy-Aware Message Exchanges for Geographically Routed Human Movement Networks. 181-198 2012 ESORICS https://doi.org/10.1007/978-3-642-33167-1_11 conf/esorics/2012 db/conf/esorics/esorics2012.html#AvivSBS12 Udit Dhawan Albert Kwon Edin Kadric Catalin Hritcu Benjamin C. Pierce Jonathan M. Smith André DeHon Gregory Malecha Greg Morrisett Thomas F. Knight Jr. Andrew Sutherland Tom Hawkins Amanda Zyxnfryx David K. Wittenberg Peter Trei Sumit Ray Greg Sullivan Hardware Support for Safety Interlocks and Introspection. 1-8 2012 SASO Workshops https://doi.org/10.1109/SASOW.2012.11 https://doi.ieeecomputersociety.org/10.1109/SASOW.2012.11 conf/saso/2012w db/conf/saso/saso2012w.html#DhawanKKHPSDMMKSHZWTRS12 Sandy Clark Matt Blaze Jonathan M. Smith The Casino and the OODA Loop - Why Our Protocols Always Eventually Fail. 60-63 2012 Security Protocols Workshop https://doi.org/10.1007/978-3-642-35694-0_8 conf/spw/2012 db/conf/spw/spw2012.html#ClarkBS12 Sandy Clark Chris Wacek Matt Blaze Boon Thau Loo Micah Sherr Clay Shields Jonathan M. Smith Collaborative Red Teaming for Anonymity System Evaluation. 2012 CSET https://www.usenix.org/conference/cset12/workshop-program/presentation/clark conf/uss/2012cset db/conf/uss/cset2012.html#ClarkWBLSSS12

James Alexander Jonathan M. Smith Disinformation: A Taxonomy. 58-63 2011 9 IEEE Secur. Priv. 1 https://doi.org/10.1109/MSP.2010.141 http://doi.ieeecomputersociety.org/10.1109/MSP.2010.141 db/journals/ieeesp/ieeesp9.html#AlexanderS11

André DeHon Ben Karel Thomas F. Knight Jr. Gregory Malecha Benoît Montagu Robin Morisset Greg Morrisett Benjamin C. Pierce Randy Pollack Sumit Ray Olin Shivers Jonathan M. Smith Gregory Sullivan Preliminary design of the SAFE platform. 4:1-4:5 2011 PLOS@SOSP https://doi.org/10.1145/2039239.2039245 conf/sosp/2011plos db/conf/sosp/plos2011.html#DeHonKKMMMMPPRS11

Matthew Hicks Murph Finnicum Samuel T. King Milo M. K. Martin Jonathan M. Smith Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. 2010 35 login Usenix Mag. 6 https://www.usenix.org/publications/login/december-2010-volume-35-number-6/overcoming-untrusted-computing-base-detecting db/journals/usenix-login/usenix-login35.html#HicksFKMS10

Sandy Clark Stefan Frei Matt Blaze Jonathan M. Smith Familiarity breeds contempt: the honeymoon effect and the role of legacy code in zero-day vulnerabilities. 251-260 2010 ACSAC https://doi.org/10.1145/1920261.1920299 https://www.wikidata.org/entity/Q130927052 conf/acsac/2010 db/conf/acsac/acsac2010.html#ClarkFBS10 Jason Reed 0001 Adam J. Aviv Daniel Wagner 0001 Andreas Haeberlen Benjamin C. Pierce Jonathan M. Smith Differential privacy for collaborative security. 1-7 2010 EUROSEC https://doi.org/10.1145/1752046.1752047 conf/eurosec/2010 db/conf/eurosec/eurosec2010.html#ReedAWHPS10 Matthew Hicks Murph Finnicum Samuel T. King Milo M. K. Martin Jonathan M. Smith Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. 159-172 2010 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2010.18 https://doi.ieeecomputersociety.org/10.1109/SP.2010.18 conf/sp/2010 db/conf/sp/sp2010.html#HicksFKMS10 Sandy Clark Matt Blaze Jonathan M. Smith Blood in the Water - Are there Honeymoon Effects Outside Software? 12-17 2010 Security Protocols Workshop https://doi.org/10.1007/978-3-662-45921-8_4 conf/spw/2010 db/conf/spw/spw2010.html#ClarkBS10 Adam J. Aviv Micah Sherr Matt Blaze Jonathan M. Smith Evading Cellular Data Monitoring with Human Movement Networks. 2010 HotSec https://www.usenix.org/conference/hotsec10/evading-cellular-data-monitoring-human-movement-networks conf/uss/2010hotsec db/conf/uss/hotsec2010.html#AvivSBS10 Adam J. Aviv Katherine L. Gibson Evan Mossop Matt Blaze Jonathan M. Smith Smudge Attacks on Smartphone Touch Screens. 2010 WOOT https://www.usenix.org/conference/woot10/smudge-attacks-smartphone-touch-screens conf/woot/2010 db/conf/woot/woot2010.html#AvivGMBS10 T. S. Eugene Ng Sylvia Ratnasamy Jonathan M. Smith Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, PRESTO '10, Philadelphia, Pennsylvania, USA, November 30, 2010 PRESTO@CoNEXT ACM 2010 978-1-4503-0467-2 https://doi.org/10.1145/1921151 db/conf/conext/presto2010.html

Jonathan M. Smith Fighting physics: a tough battle. 60-65 2009 52 Commun. ACM 7 https://doi.org/10.1145/1538788.1538806 db/journals/cacm/cacm52.html#Smith09

Jonathan M. Smith Viewpoint - On public service and computer science. 34-35 2009 52 Commun. ACM 11 https://doi.org/10.1145/1592761.1592774 db/journals/cacm/cacm52.html#Smith09a

D. Scott Alexander Yuu-Heng Cheng Brian A. Coan Andrei Ghetie Vikram Kaul Bruce Siegell Steven M. Bellovin Nicholas F. Maxemchuk Henning Schulzrinne Stephen Schwab Angelos Stavrou Jonathan M. Smith The dynamic community of interest and its realization in ZODIAC. 40-47 2009 47 IEEE Commun. Mag. 10 https://doi.org/10.1109/MCOM.2009.5273807 db/journals/cm/cm47.html#AlexanderCCGKSB09

Matt Blaze Sampath Kannan Insup Lee 0001 Oleg Sokolsky Jonathan M. Smith Angelos D. Keromytis Wenke Lee Dynamic Trust Management. 44-52 2009 42 Computer 2 https://doi.org/10.1109/MC.2009.51 http://doi.ieeecomputersociety.org/10.1109/MC.2009.51 db/journals/computer/computer42.html#BlazeKLSSKL09

Paul Anderson 0003 Carl A. Gunter Charles R. Kalmanek Sanjai Narain Jonathan M. Smith Rajesh Talpade Geoffrey G. Xie Guest editorial network infrastructure configuration. 249-252 2009 27 IEEE J. Sel. Areas Commun. 3 https://doi.org/10.1109/JSAC.2009.090401 db/journals/jsac/jsac27.html#AndersonGKNSTX09

Jonathan M. Smith Fighting Physics: A Tough Battle. 20-21 2009 7 ACM Queue 3 https://doi.org/10.1145/1530818.1530063 db/journals/queue/queue7.html#Smith09

Jonathan M. Smith Marc Olivieri Alex Lackpour Nicholas Hinnerschitz RF-mobility gain: concept, measurement campaign, and exploitation. 38-44 2009 16 IEEE Wirel. Commun. 1 https://doi.org/10.1109/MWC.2009.4804367 db/journals/wc/wc16.html#SmithOLH09

Jack Brassil Jonathan M. Smith Flavio Bonomi Keren Bergman Paul Congdon Ivan Seskar Steve Muir Networking hardware: what drives innovation? 2 2009 ANCS https://doi.org/10.1145/1882486.1882488 conf/ancs/2009 db/conf/ancs/ancs2009.html#BrassilSBBCSM09 Andrew G. West Adam J. Aviv Jian Chang Vinayak S. Prabhu Matt Blaze Sampath Kannan Insup Lee 0001 Jonathan M. Smith Oleg Sokolsky QuanTM: a quantitative trust management system. 28-35 2009 EUROSEC https://doi.org/10.1145/1519144.1519149 conf/eurosec/2009 db/conf/eurosec/eurosec2009.html#WestACPBKLSS09

Stefan Miltchev Jonathan M. Smith Vassilis Prevelakis Angelos D. Keromytis Sotiris Ioannidis Decentralized access control in distributed file systems. 2008 40 ACM Comput. Surv. 3 https://doi.org/10.1145/1380584.1380588 db/journals/csur/csur40.html#MiltchevSPKI08 10:1-10:30

Yun Mao Boon Thau Loo Zachary G. Ives Jonathan M. Smith MOSAIC: unified declarative platform for dynamic overlay composition. 5 2008 CoNEXT https://doi.org/10.1145/1544012.1544017 conf/conext/2008 db/conf/conext/conext2008.html#MaoLIS08

Sotiris Ioannidis Steven M. Bellovin John Ioannidis Angelos D. Keromytis Kostas G. Anagnostakis Jonathan M. Smith Virtual Private Services: Coordinated Policy Enforcement for Distributed Applications. 69-80 2007 4 Int. J. Netw. Secur. 1 http://ijns.jalaxy.com.tw/contents/ijns-v4-n1/ijns-2007-v4-n1-p69-80.pdf db/journals/ijnsec/ijnsec4.html#IoannidisBIKAS07

Angelos D. Keromytis Jonathan M. Smith Requirements for scalable access control and security management architectures. 2007 7 ACM Trans. Internet Techn. 2 https://doi.org/10.1145/1239971.1239972 db/journals/toit/toit7.html#KeromytisS07 8

Yun Mao Hani Jamjoom Shu Tao Jonathan M. Smith Networkmd: topology inference and failure diagnosis in the last mile. 189-202 2007 Internet Measurement Conference https://doi.org/10.1145/1298306.1298333 conf/imc/2007 db/conf/imc/imc2007.html#MaoJTS07 Yun Mao Feng Wang Lili Qiu Simon S. Lam Jonathan M. Smith S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks. 2007 conf/nsdi/2007 NSDI http://www.usenix.org/events/nsdi07/tech/mao.html db/conf/nsdi/nsdi2007.html#MaoWQLS07

Kostas G. Anagnostakis Michael B. Greenwald Sotiris Ioannidis Dekai Li Jonathan M. Smith Flexible network monitoring with FLAME. 2548-2563 2006 50 Comput. Networks 14 https://doi.org/10.1016/j.comnet.2006.04.018 db/journals/cn/cn50.html#AnagnostakisGILS06

Yun Mao Lawrence K. Saul Jonathan M. Smith IDES: An Internet Distance Estimation Service for Large Networks. 2273-2284 2006 24 IEEE J. Sel. Areas Commun. 12 https://doi.org/10.1109/JSAC.2006.884026 https://www.wikidata.org/entity/Q29395568 db/journals/jsac/jsac24.html#MaoSS06

Steve Muir Jonathan M. Smith An operating system architecture for network processors. 61-70 2005 conf/ancs/2005 ANCS https://doi.org/10.1145/1095890.1095900 db/conf/ancs/ancs2005.html#MuirS05 Yun Mao Björn Knutsson Honghui Lu Jonathan M. Smith DHARMA: distributed home agent for robust mobile access. 1196-1206 2005 conf/infocom/2005 INFOCOM https://doi.org/10.1109/INFCOM.2005.1498346 db/conf/infocom/infocom2005.html#MaoKLS05

Noriyuki Takahashi Jonathan M. Smith Hybrid Hierarchical Overlay Routing (Hyho): Towards Minimal Overlay Dilation. 2586-2593 2004 87-D IEICE Trans. Inf. Syst. 12 http://search.ieice.org/bin/summary.php?id=e87-d_12_2586 db/journals/ieicet/ieicet87d.html#TakahashiS04

Jonathan M. Smith Scott Nettles Active Networking: One View of the Past, Present, and Future. 4-18 2004 34 IEEE Trans. Syst. Man Cybern. Part C 1 db/journals/tsmc/tsmcc34.html#SmithN04 https://doi.org/10.1109/TSMCC.2003.818493

Ilija Hadzic Jonathan M. Smith Balancing performance and flexibility with hardware support for network architectures. 375-411 2003 21 ACM Trans. Comput. Syst. 4 https://doi.org/10.1145/945506.945508 db/journals/tocs/tocs21.html#HadzicS03

Michael W. Hicks Angelos D. Keromytis Jonathan M. Smith A secure PLAN. 413-426 2003 33 IEEE Trans. Syst. Man Cybern. Part C 3 db/journals/tsmc/tsmcc33.html#HicksKS03 https://doi.org/10.1109/TSMCC.2003.817347

Angelos D. Keromytis Sotiris Ioannidis Michael B. Greenwald Jonathan M. Smith The STRONGMAN Architecture. 178-188 2003 conf/discex/2003 DISCEX (1) https://doi.org/10.1109/DISCEX.2003.1194883 https://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194883 db/conf/discex/discex2003.html#KeromytisIGS03 James Alexander Jonathan M. Smith Engineering Privacy in Public: Confounding Face Recognition. 88-106 https://doi.org/10.1007/978-3-540-40956-4_7 2003 conf/pet/2003 Privacy Enhancing Technologies db/conf/pet/pet2003.html#AlexanderS03 Stefan Miltchev Vassilis Prevelakis Sotiris Ioannidis John Ioannidis Angelos D. Keromytis Jonathan M. Smith Secure and Flexible Global File Sharing. 165-178 2003 conf/usenix/2003f USENIX ATC, FREENIX Track http://www.usenix.org/events/usenix03/tech/freenix03/miltchev.html db/conf/usenix/usenix2003f.html#MiltchevPIIKS03 Sotiris Ioannidis Steven M. Bellovin John Ioannidis Angelos D. Keromytis Jonathan M. Smith Design and Implementation of Virtual Private Services. 269-274 2003 conf/wetice/2003 WETICE https://doi.org/10.1109/ENABL.2003.1231419 https://doi.ieeecomputersociety.org/10.1109/ENABL.2003.1231419 db/conf/wetice/wetice2003.html#IoannidisBIKS03

Jonathan M. Smith The influence of ATM on operating systems. 29-37 2002 32 Comput. Commun. Rev. 5 https://doi.org/10.1145/774749.774755 db/journals/ccr/ccr32.html#Smith02

Michael W. Hicks Angelos D. Keromytis Jonathan M. Smith A Secure PLAN. 224-237 2002 conf/dance/2002 DANCE https://doi.org/10.1109/DANCE.2002.1003496 https://doi.ieeecomputersociety.org/10.1109/DANCE.2002.1003496 db/conf/dance/dance2002.html#HicksKS02 Kostas G. Anagnostakis Sotiris Ioannidis Stefan Miltchev Michael Greenwald Jonathan M. Smith John Ioannidis Efficient packet monitoring for network management. 423-436 2002 NOMS https://doi.org/10.1109/NOMS.2002.1015599 conf/noms/2002 db/conf/noms/noms2002.html#AnagnostakisIMGSI02 Sotiris Ioannidis Steven M. Bellovin Jonathan M. Smith Sub-operating systems: a new approach to application security. 108-115 2002 ACM SIGOPS European Workshop https://doi.org/10.1145/1133373.1133394 conf/sigopsE/2002 db/conf/sigopsE/sigopsE2002.html#IoannidisBS02

D. Scott Alexander Paul Menage Angelos D. Keromytis William A. Arbaugh Kostas G. Anagnostakis Jonathan M. Smith The price of safety in an active network. 4-18 2001 3 J. Commun. Networks 1 https://doi.org/10.1109/JCN.2001.6596875 db/journals/jcn/jcn3.html#AlexanderMKAAS01

Kostas G. Anagnostakis Sotiris Ioannidis Stefan Miltchev Jonathan M. Smith Practical Network Applications on a Lightweight Active Management Environment. 101-115 2001 conf/iwan/2001 IWAN https://doi.org/10.1007/3-540-45451-9_7 db/conf/iwan/iwan2001.html#AnagnostakisIMS01

D. Scott Alexander William A. Arbaugh Angelos D. Keromytis Steve Muir Jonathan M. Smith Secure quality of service handling: SQoSH. 106-112 2000 38 IEEE Commun. Mag. 4 https://doi.org/10.1109/35.833566 db/journals/cm/cm38.html#AlexanderAKMS00

Sotiris Ioannidis Angelos D. Keromytis Steven M. Bellovin Jonathan M. Smith Implementing a distributed firewall. 190-199 2000 conf/ccs/2000 CCS https://doi.org/10.1145/352600.353052 db/conf/ccs/ccs2000.html#IoannidisKBS00 Alex Galis Bernhard Plattner Jonathan M. Smith Spyros G. Denazis Eckhard Moeller Hui Guo Cornel Klein Joan Serrat 0001 Jan Laarhuis George T. Karetsos Chris Todd A Flexible IP Active Networks Architecture. 1-15 https://doi.org/10.1007/3-540-40057-5_1 2000 conf/iwan/2000 IWAN db/conf/iwan/iwan2000.html#GalisPSDMGKSLKT00 Kostas G. Anagnostakis Michael W. Hicks Sotiris Ioannidis Angelos D. Keromytis Jonathan M. Smith Scalable Resource Control in Active Networks. 343-357 https://doi.org/10.1007/3-540-40057-5_25 2000 conf/iwan/2000 IWAN db/conf/iwan/iwan2000.html#AnagnostakisHIKS00

Jonathan M. Smith Programmable Networks: Selected Challenges in Computer Networking. 40-42 1999 32 Computer 1 db/journals/computer/computer32.html#Smith99 https://doi.org/10.1109/2.738302 http://doi.ieeecomputersociety.org/10.1109/2.738302

Jonathan M. Smith Kenneth L. Calvert Sandra L. Murphy Hilarie K. Orman Larry L. Peterson Activating Networks: A Progress Report. 32-41 1999 32 Computer 4 db/journals/computer/computer32.html#SmithCMOP99 https://doi.org/10.1109/2.755003 http://doi.ieeecomputersociety.org/10.1109/2.755003

D. Scott Alexander William A. Arbaugh Angelos D. Keromytis Jonathan M. Smith Security in Active Networks. 433-451 1999 conf/ecoopw/1999secure Secure Internet Programming db/conf/ecoopw/secure99.html#AlexanderAKS99 https://doi.org/10.1007/3-540-48749-2_20 Ilija Hadzic Sanjay Udani Jonathan M. Smith FPGA Viruses. 291-300 1999 conf/fpl/1999 FPL db/conf/fpl/fpl1999.html#HadzicUS99 https://doi.org/10.1007/978-3-540-48302-1_30 D. Scott Alexander Jonathan M. Smith The Architecture of ALIEN. 1-12 1999 conf/iwan/1999 IWAN db/conf/iwan/iwan1999.html#AlexanderS99 https://doi.org/10.1007/978-3-540-48507-0_1 Jonathan S. Shapiro Jonathan M. Smith David J. Farber EROS: a fast capability system. 170-185 1999 conf/sosp/1999 SOSP https://doi.org/10.1145/319151.319163 db/conf/sosp/sosp99.html#ShapiroSF99

William S. Marcus Ilija Hadzic Anthony J. McAuley Jonathan M. Smith Protocol boosters: applying programmability to network infrastructures. 79-83 1998 36 IEEE Commun. Mag. 10 https://doi.org/10.1109/35.722140 db/journals/cm/cm36.html#MarcusHMS98

D. Scott Alexander William A. Arbaugh Angelos D. Keromytis Jonathan M. Smith Safety and security of programmable network infrastructures. 84-92 1998 36 IEEE Commun. Mag. 10 https://doi.org/10.1109/35.722141 db/journals/cm/cm36.html#AlexanderAKS98

William A. Arbaugh James R. Davin David J. Farber Jonathan M. Smith Security for Virtual Private Intranets. 48-55 1998 31 Computer 9 db/journals/computer/computer31.html#ArbaughDFS98 https://doi.org/10.1109/2.708450 http://doi.ieeecomputersociety.org/10.1109/2.708450 https://www.wikidata.org/entity/Q114991974

David C. Feldmeier Anthony J. McAuley Jonathan M. Smith Deborah S. Bakin William S. Marcus Thomas Raleigh Protocol boosters. 437-444 1998 16 IEEE J. Sel. Areas Commun. 3 https://doi.org/10.1109/49.669053 db/journals/jsac/jsac16.html#FeldmeierMSBMR98

D. Scott Alexander William Arbaugh Michael Hicks 0001 Pankaj Kakkar Angelos Dennis Keromytis Jonathan T. Moore Carl A. Gunter Scott Nettles Jonathan M. Smith The SwitchWare active network architecture. 29-36 1998 12 IEEE Netw. 3 https://doi.org/10.1109/65.690959 db/journals/network/network12.html#AlexanderAHKKMG98

D. Scott Alexander William Arbaugh Angelos Dennis Keromytis Jonathan M. Smith A secure active network environment architecture: realization in SwitchWare. 37-45 1998 12 IEEE Netw. 3 https://doi.org/10.1109/65.690960 db/journals/network/network12.html#AlexanderAKS98

William A. Arbaugh Angelos D. Keromytis David J. Farber Jonathan M. Smith Automated Recovery in a Secure Bootstrap Process. 1998 conf/ndss/1998 NDSS https://www.ndss-symposium.org/ndss1998/automated-recovery-secure-bootstrap-process/ db/conf/ndss/ndss1998.html#ArbaughKFS98 Steve Muir Jonathan M. Smith Functional divisions in the Piglet multiprocessor operating system. 255-260 1998 conf/sigopsE/1998 ACM SIGOPS European Workshop https://doi.org/10.1145/319195.319234 db/conf/sigopsE/sigopsE1998.html#MuirS98

David L. Tennenhouse Jonathan M. Smith W. David Sincoskie David Wetherall Gary J. Minden A survey of active network research. 80-86 1997 35 IEEE Commun. Mag. 1 https://doi.org/10.1109/35.568214 db/journals/cm/cm35.html#TennenhouseSSWM97

Ilija Hadzic Jonathan M. Smith P4: A platform for FPGA implementation of protocol boosters. 438-447 1997 conf/fpl/1997 FPL db/conf/fpl/fpl1997.html#HadzicS97 https://doi.org/10.1007/3-540-63465-7_249 D. Scott Alexander Marianne Shaw Scott Nettles Jonathan M. Smith Active Bridging. 101-111 1997 conf/sigcomm/1997 SIGCOMM https://doi.org/10.1145/263105.263149 https://doi.org/10.1145/263109.263149 db/conf/sigcomm/sigcomm1997.html#AlexanderSNS97 William A. Arbaugh David J. Farber Jonathan M. Smith A Secure and Reliable Bootstrap Architecture. 65-71 1997 conf/sp/1997 S&P https://doi.org/10.1109/SECPRI.1997.601317 https://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601317 https://www.wikidata.org/entity/Q21820662 db/conf/sp/sp1997.html#ArbaughFS97

Klara Nahrstedt Jonathan M. Smith Design, Implementation, and Experiences of the OMEGA End-Point Architecture. 1263-1279 1996 14 IEEE J. Sel. Areas Commun. 7 db/journals/jsac/jsac14.html#NahrstedtS96 https://doi.org/10.1109/49.536367

Klara Nahrstedt Jonathan M. Smith New Algorithms for Admission Control and Scheduling to Support Multimedia Feedback Remote Control Applications. 532-539 1996 conf/icmcs/1996 ICMCS db/conf/icmcs/icmcs96.html#NahrstedtS96 https://doi.org/10.1109/MMCS.1996.535901 https://doi.ieeecomputersociety.org/10.1109/MMCS.1996.535901 Jonathan S. Shapiro David J. Farber Jonathan M. Smith State Caching in the EROS Kernel. 88-100 1996 conf/pos/96 POS db/conf/pos/pos96.html#ShapiroFS96

Klara Nahrstedt Jonathan M. Smith The QOS Broker. 53-67 1995 2 IEEE Multim. 1 https://doi.org/10.1109/93.368603 http://doi.ieeecomputersociety.org/10.1109/93.368603 db/journals/ieeemm/ieeemm2.html#NahrstedtS95

C. Brendan S. Traw Jonathan M. Smith Striping within the network subsystem. 22-32 1995 9 IEEE Netw. 4 https://doi.org/10.1109/65.397041 db/journals/network/network9.html#TrawS95

Klara Nahrstedt Jonathan M. Smith A Service Kernel for Multimedia Endstations. 8-22 1994 conf/iwaca/1994 IWACA db/conf/iwaca/iwaca1994.html#NahrstedtS94 https://doi.org/10.1007/3-540-58494-3_2 Jonathan M. Smith Shih-Fu Chang Quad-Tree Segmentation for Texture-Based Image Query. 279-286 1994 conf/mm/1994 ACM Multimedia db/conf/mm/mm94.html#SmithC94 https://doi.org/10.1145/192593.192676 Jonathan M. Smith PDIS and The Information Highway. 220-222 PDIS1994/P220.pdf 1994 PDIS db/conf/pdis/pdis94.html#Smith94 conf/pdis/94 https://doi.org/10.1109/PDIS.1994.331713 https://doi.ieeecomputersociety.org/10.1109/PDIS.1994.331713 ... ... ... ... ... ... journals/computer/HacM89 conf/sosp/HartmanO93 journals/cacm/MetcalfeB76 ... ... ... ...

David D. Clark Bruce S. Davie David J. Farber Inder S. Gopal Bharath K. Kadaba W. David Sincoskie Jonathan M. Smith David L. Tennenhouse The AURORA Gigabit Testbed. 599-621 1993 25 Comput. Networks ISDN Syst. 6 db/journals/cn/cn25.html#ClarkDFGKSST93 https://doi.org/10.1016/0169-7552(93)90056-A

C. Brandan S. Traw Jonathan M. Smith Hardware/Software Organization of a High-Performance ATM Host Interface. 240-253 1993 11 IEEE J. Sel. Areas Commun. 2 db/journals/jsac/jsac11.html#BrendanTS93 https://doi.org/10.1109/49.215019

Jonathan M. Smith C. Brandan S. Traw Giving applications access to Gb/s networking. 44-52 1993 7 IEEE Netw. 4 https://doi.org/10.1109/65.224055 db/journals/network/network7.html#SmithT93

Klara Nahrstedt Jonathan M. Smith An application-driven approach to networked multimedia systems. 361-368 1993 LCN https://doi.org/10.1109/LCN.1993.591244 https://doi.ieeecomputersociety.org/10.1109/LCN.1993.591244 conf/lcn/1993 db/conf/lcn/lcn1993.html#NahrstedtS93

Klara Nahrstedt Jonathan M. Smith An integrated multimedia architecture for high-speed networks (brief extended abstract). 25-26 1992 22 Comput. Commun. Rev. 3 https://doi.org/10.1145/142267.142277 db/journals/ccr/ccr22.html#NahrstedtS92

David D. Clark David L. Tennenhouse David J. Farber Jonathan M. Smith Bruce S. Davie W. David Sincoskie Inder S. Gopal Bharath K. Kadaba An Overview of the AURORA Gigabit Testbed. 569-581 1992 conf/infocom/1992 INFOCOM db/conf/infocom/infocom1992-2.html#ClarkTFSDSGK92 https://doi.org/10.1109/INFCOM.1992.263450 https://doi.ieeecomputersociety.org/10.1109/INFCOM.1992.263450

Jonathan M. Smith David J. Farber Traffic Characteristics of a Distributed Memory System. 143-154 1991 22 Comput. Networks ISDN Syst. 2 db/journals/cn/cn22.html#SmithF91 https://doi.org/10.1016/0169-7552(91)90006-X

Jonathan M. Smith The Software Design Laboratory. 385-404 1991 4 Comput. Syst. 4 db/journals/csys/csys4.html#Smith91 http://www.usenix.org/publications/compsystems/1991/fall_smith.pdf

Gary S. Delp David J. Farber Ronald G. Minnich Jonathan M. Smith Ming-Chit Tam Memory as a network abstraction. 34-41 1991 5 IEEE Netw. 4 https://doi.org/10.1109/65.93183 db/journals/network/network5.html#DelpFMST91

Albert G. Broscius Jonathan M. Smith Exploiting Parallelism in Hardware Implementations of the DES. 367-376 https://doi.org/10.1007/3-540-46766-1_30 1991 conf/crypto/1991 CRYPTO db/conf/crypto/crypto91.html#BrosciusS91 C. Brandan S. Traw Jonathan M. Smith A High-Performance Host Interface for ATM Networks. 317-325 1991 conf/sigcomm/1991 SIGCOMM https://doi.org/10.1145/115992.116021 https://doi.org/10.1145/115994.116021 db/conf/sigcomm/sigcomm1991.html#BrendanTS91

Ming-Chit Tam Jonathan M. Smith David J. Farber A Taxonomy-Based Comparison of Several Distributed Shared Memory Systems. 40-67 1990 24 ACM SIGOPS Oper. Syst. Rev. 3 db/journals/sigops/sigops24.html#TamSF90 https://doi.org/10.1145/382244.382831

Jonathan M. Smith Gerald Q. Maguire Jr. Measured response times for page-sized fetches on a network. 48-54 1989 17 SIGARCH Comput. Archit. News 5 https://doi.org/10.1145/71302.71308 db/journals/sigarch/sigarch17.html#SmithM89

Jonathan M. Smith Rapid Location of Mount Points. 829-838 1989 19 Softw. Pract. Exp. 9 db/journals/spe/spe19.html#Smith89

Jonathan M. Smith Practical Problems with a Cryptographic Protection Scheme. 64-73 https://doi.org/10.1007/0-387-34805-0_7 1989 conf/crypto/1989 CRYPTO db/conf/crypto/crypto89.html#Smith89 Jonathan M. Smith Gerald Q. Maguire Jr. Transparent Concurrent Execution of Mutually Exclusive Alternatives. 44-52 1989 conf/icdcs/1989 ICDCS db/conf/icdcs/icdcs89.html#SmithM89 https://doi.org/10.1109/ICDCS.1989.37929 https://doi.ieeecomputersociety.org/10.1109/ICDCS.1989.37929 Jonathan M. Smith Gerald Q. Maguire Jr. Exploring "Multiple Worlds" in Parallel. 239-245 1989 conf/icpp/1989-2 ICPP (2) db/conf/icpp/icpp1989-2.html#SmithM89

Jonathan M. Smith Gerald Q. Maguire Jr. Effects of Copy-on-Write Memory Management on the Response Time of UNIX Fork Operations. 255-278 1988 1 Comput. Syst. 3 db/journals/csys/csys1.html#SmithM88 http://www.usenix.org/publications/compsystems/1988/sum_smith.pdf

Jonathan M. Smith A Survey of Process Migration Mechanisms. 28-40 1988 22 ACM SIGOPS Oper. Syst. Rev. 3 db/journals/sigops/sigops22.html#Smith88 https://doi.org/10.1145/47671.47673 https://www.wikidata.org/entity/Q56385754

Gerald Q. Maguire Jr. Jonathan M. Smith Process migration: effects on scientific computation. 102-106 1988 23 ACM SIGPLAN Notices 3 https://doi.org/10.1145/43895.43906 db/journals/sigplan/sigplan23.html#MaguireS88

D. Scott Alexander James Alexander Kostas G. Anagnostakis Paul Anderson 0003 Thomas E. AndersonTom Anderson 0003 William A. ArbaughWilliam Arbaugh Matvey Arye Lucas Atayde Adam J. Aviv Deborah S. Bakin David A. Basin Adam Bates 0001 Steven M. Bellovin Keren Bergman Kenneth P. BirmanKen Birman Matt Blaze Flavio Bonomi Jack Brassil Robert M. Broberg Albert G. Broscius Matthew Caesar 0001 Kenneth L. Calvert Jian Chang Shih-Fu Chang Yuu-Heng Cheng Silviu Chiricescu K. C. Claffy David D. Clark Sandy Clark Brian A. Coan Michael Collis Douglas Comer Paul Congdon Chase Cotton Greg Cusack Nathan Dautenhahn Bruce S. Davie James R. Davin André DeHon Gary S. Delp Henri Maxime Demoulin Spyros G. Denazis Amogh Dhamdhere Udit Dhawan Anurag Dubey David J. Farber David C. Feldmeier Murph Finnicum Nate Foster Michael J. Freedman Stefan Frei Alex Galis Simson L. Garfinkel Andrei Ghetie Katherine L. Gibson Pranjal Goel Inder S. Gopal Michael B. GreenwaldMichael Greenwald Yan Grunenberger Carl A. Gunter Hui Guo Ilija Hadzic Andreas Haeberlen Tom Hawkins Shlomo Hershkop Matthew Hicks Michael Hicks 0001Michael W. Hicks Nicholas Hinnerschitz Catalin Hritcu Bradley Huffaker Joel Hypolite John Ioannidis Sotiris Ioannidis Zachary G. Ives Hani Jamjoom Bharath K. Kadaba Edin Kadric Pankaj Kakkar Charles R. Kalmanek Sampath Kannan Ben Karel George T. Karetsos Vikram Kaul Eric Keller Vasileios P. Kemerlis Angelos D. KeromytisAngelos Dennis Keromytis Robert Kiefer Samuel T. King Cornel Klein Thomas F. Knight Jr. Björn Knutsson Arvind Krishnamurthy Albert Kwon Jan Laarhuis Alex Lackpour Simon S. Lam Insup Lee 0001 Wenke Lee William H. Lehr Dekai Li Li Erran Li Perk Lun Lim Vincent Liu 0001 Boon Thau Loo Honghui Lu Matthew J. Luckie Gerald Q. Maguire Jr. Gregory Malecha Yun Mao William S. Marcus Alexander Marder Milo M. K. Martin Jeanna MatthewsJeanna N. Matthews Nicholas F. Maxemchuk David Mazières Tony McAuleyAnthony J. McAuley Derrick Paul McKee Kenneth L. McMillan Paul Menage Oliver Michel Stefan Miltchev Gary J. Minden Ron MinnichRonald G. Minnich Eckhard Moeller Benoît Montagu Jonathan T. Moore Robin Morisset J. Gregory MorrisettGreg Morrisett Evan Mossop Steve Muir Sandra L. Murphy Klara Nahrstedt Kedar S. Namjoshi Sanjai Narain Maziyar Nazari Scott Nettles T. S. Eugene Ng Antonio Nicolosi Cristina Nita-Rotaru Erik Nordström Marc Olivieri Hilarie K. Orman Yash Palkhiwala Imani Palmer Yuchen Pan Jai Pandey Mathias Payer Isaac Pedisich Larry L. Peterson Linh T. X. PhanLinh Thi Xuan Phan Benjamin C. Pierce Bernhard Plattner Randy Pollack Vinayak S. Prabhu Vassilis Prevelakis Lili Qiu Thomas Raleigh Sylvia Ratnasamy Sumit Ray Jason Reed 0001 Robbert van Renesse Nick Roessler Thomas W. Rondeau Tom Rondeau Neil J. Ross Raphael Rubin Benjamin Sapp Lawrence K. Saul Henning Schulzrinne Stephen Schwab Peter Selinger Joan Serrat 0001 Ivan Seskar Jonathan S. Shapiro Stuart S. Shapiro Marianne Shaw Micah Sherr Clay Shields Olin Shivers Bruce Siegell W. David Sincoskie Oleg Sokolsky John Sonchack Angelos Stavrou Ion Stoica Amanda StrnadAmanda Zyxnfryx Cynthia Sturton Greg SullivanGregory Sullivan Kyle Super Andrew Sutherland Noriyuki Takahashi Rajesh Talpade Ming-Chit Tam Shu Tao David L. Tennenhouse Chris Todd C. Brandan S. Traw C. Brendan S. Traw Peter Trei Sanjay Udani Benoît Valiron Nikos Vasilakis Chris Wacek Daniel Wagner 0001 Michael Walfish Feng Wang Hakim Weatherspoon Andrew G. West David Wetherall David K. Wittenberg Geoffrey G. Xie Christopher S. Yoo Pamela Zave Irene Zhang Kaiyu Zhang Lenore D. Zuck