Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Thomas Y. C. Woo
@inproceedings{DBLP:conf/sc/WangG0WFHW20, author = {Shaoqi Wang and Oscar J. Gonzalez and Xiaobo Zhou and Thomas Williams and Brian D. Friedman and Martin Havemann and Thomas Y. C. Woo}, editor = {Christine Cuicchi and Irene Qualters and William T. Kramer}, title = {An efficient and non-intrusive {GPU} scheduling framework for deep learning training systems}, booktitle = {Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, {SC} 2020, Virtual Event / Atlanta, Georgia, USA, November 9-19, 2020}, pages = {90}, publisher = {{IEEE/ACM}}, year = {2020}, url = {https://doi.org/10.1109/SC41405.2020.00094}, doi = {10.1109/SC41405.2020.00094}, timestamp = {Wed, 04 May 2022 13:02:27 +0200}, biburl = {https://dblp.org/rec/conf/sc/WangG0WFHW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/LeeBW09, author = {Patrick P. C. Lee and Tian Bu and Thomas Y. C. Woo}, title = {On the detection of signaling DoS attacks on 3G/WiMax wireless networks}, journal = {Comput. Networks}, volume = {53}, number = {15}, pages = {2601--2616}, year = {2009}, url = {https://doi.org/10.1016/j.comnet.2009.05.008}, doi = {10.1016/J.COMNET.2009.05.008}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cn/LeeBW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/LeeBW07, author = {Patrick P. C. Lee and Tian Bu and Thomas Y. C. Woo}, title = {On the Detection of Signaling DoS Attacks on 3G Wireless Networks}, booktitle = {{INFOCOM} 2007. 26th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 6-12 May 2007, Anchorage, Alaska, {USA}}, pages = {1289--1297}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/INFCOM.2007.153}, doi = {10.1109/INFCOM.2007.153}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/infocom/LeeBW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cn/BuNW06, author = {Tian Bu and Samphel Norden and Thomas Y. C. Woo}, title = {A survivable DoS-resistant overlay network}, journal = {Comput. Networks}, volume = {50}, number = {9}, pages = {1281--1301}, year = {2006}, url = {https://doi.org/10.1016/j.comnet.2005.06.010}, doi = {10.1016/J.COMNET.2005.06.010}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cn/BuNW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comsware/RamjeeAHLNSW06, author = {Ramachandran Ramjee and Furquan Ansari and Martin Havemann and T. V. Lakshman and Thyagarajan Nandagopal and Krishan K. Sabnani and Thomas Y. C. Woo}, editor = {Victor Bahl and Bijendra Nath Jain and Henning Schulzrinne and Alfred Z. Spector}, title = {Separating control software from routers}, booktitle = {Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE {(COMSWARE} 2006), January 8-12, 2006, New Delhi, India}, pages = {1--10}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/COMSWA.2006.1665183}, doi = {10.1109/COMSWA.2006.1665183}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/comsware/RamjeeAHLNSW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/BuCWW06, author = {Tian Bu and Aiyou Chen and Scott A. Vander Wiel and Thomas Y. C. Woo}, title = {Design and Evaluation of a Fast and Robust Worm Detection Algorithm}, booktitle = {{INFOCOM} 2006. 25th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 23-29 April 2006, Barcelona, Catalunya, Spain}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/INFOCOM.2006.100}, doi = {10.1109/INFOCOM.2006.100}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/infocom/BuCWW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/VasanRW05, author = {Arunchandar Vasan and Ramachandran Ramjee and Thomas Y. C. Woo}, title = {{ECHOS} - enhanced capacity 802.11 hotspots}, booktitle = {{INFOCOM} 2005. 24th Annual Joint Conference of the {IEEE} Computer and Communications Societies, 13-17 March 2005, Miami, FL, {USA}}, pages = {1562--1572}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/INFCOM.2005.1498439}, doi = {10.1109/INFCOM.2005.1498439}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/infocom/VasanRW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/wc/WooY04, author = {Thomas Y. C. Woo and Yacov Yacobi}, title = {Topics in wireless security}, journal = {{IEEE} Wirel. Commun.}, volume = {11}, number = {1}, pages = {6--7}, year = {2004}, url = {https://doi.org/10.1109/MWC.2004.1269711}, doi = {10.1109/MWC.2004.1269711}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/wc/WooY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icnp/BuNW04, author = {Tian Bu and Samphel Norden and Thomas Y. C. Woo}, title = {Trading Resiliency for Security: Model and Algorithms}, booktitle = {12th {IEEE} International Conference on Network Protocols {(ICNP} 2004), 5-8 October 2004, Berlin, Germany}, pages = {218--227}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICNP.2004.1348112}, doi = {10.1109/ICNP.2004.1348112}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icnp/BuNW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ws/KaseraMSW03, author = {Sneha Kumar Kasera and Semyon Mizikovsky and Ganapathy S. Sundaram and Thomas Y. C. Woo}, editor = {W. Douglas Maughan and Adrian Perrig}, title = {On securely enabling intermediary-based services and performance enhancements for wireless mobile users}, booktitle = {Proceedings of the 2003 {ACM} Workshop on Wireless Security, San Diego, CA, USA, September 19, 2003}, pages = {61--68}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/941311.941321}, doi = {10.1145/941311.941321}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ws/KaseraMSW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/Woo00, author = {Thomas Y. C. Woo}, title = {A Modular Approach to Packet Classification: Algorithms and Results}, booktitle = {Proceedings {IEEE} {INFOCOM} 2000, The Conference on Computer Communications, Nineteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Reaching the Promised Land of Communications, Tel Aviv, Israel, March 26-30, 2000}, pages = {1213--1222}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/INFCOM.2000.832499}, doi = {10.1109/INFCOM.2000.832499}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/Woo00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/wc/ChanW99, author = {Mun Choon Chan and Thomas Y. C. Woo}, title = {Next-generation wireless data services: architecture and experience}, journal = {{IEEE} Wirel. Commun.}, volume = {6}, number = {1}, pages = {20--33}, year = {1999}, url = {https://doi.org/10.1109/98.752785}, doi = {10.1109/98.752785}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/wc/ChanW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/ChanW99, author = {Mun Choon Chan and Thomas Y. C. Woo}, title = {Cache-Based Compaction: {A} New Technique for Optimizing Web Transfer}, booktitle = {Proceedings {IEEE} {INFOCOM} '99, The Conference on Computer Communications, Eighteenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, The Future Is Now, New York, NY, USA, March 21-25, 1999}, pages = {117--125}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/INFCOM.1999.749259}, doi = {10.1109/INFCOM.1999.749259}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/ChanW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcnc/ChanW99, author = {Mun Choon Chan and Thomas Y. C. Woo}, title = {Application of compaction technique to optimizing wireless email transfer}, booktitle = {1999 {IEEE} Wireless Communications and Networking Conference, {WCNC} 1999, September 21-24, 1999, New Orleans, Louisiana, {USA}}, pages = {1533--1537}, publisher = {{IEEE}}, year = {1999}, url = {https://doi.org/10.1109/WCNC.1999.796995}, doi = {10.1109/WCNC.1999.796995}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/wcnc/ChanW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/PortaRWS98, author = {Thomas F. La Porta and Ramachandran Ramjee and Thomas Y. C. Woo and Krishan K. Sabnani}, title = {Experiences with Network-Based User Agents for Mobile Applications}, journal = {Mob. Networks Appl.}, volume = {3}, number = {2}, pages = {123--141}, year = {1998}, url = {https://doi.org/10.1023/A:1019164413275}, doi = {10.1023/A:1019164413275}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/monet/PortaRWS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/WooL98, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {Designing a Distributed Authorization Service}, booktitle = {Proceedings {IEEE} {INFOCOM} '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29 - April 2, 1998}, pages = {419--429}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/INFCOM.1998.665058}, doi = {10.1109/INFCOM.1998.665058}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/WooL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/WooPGA98, author = {Thomas Y. C. Woo and Thomas F. La Porta and Jamal Golestani and Naveen Agarwal}, title = {Update and Search Algorithms for Wireless Two-Way Messaging: Design and Performance}, booktitle = {Proceedings {IEEE} {INFOCOM} '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the {IEEE} Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29 - April 2, 1998}, pages = {737--747}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/INFCOM.1998.665096}, doi = {10.1109/INFCOM.1998.665096}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/WooPGA98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pimrc/WooSM98, author = {Thomas Y. C. Woo and Krishan K. Sabnani and Scott C. Miller}, title = {Providing Internet services to mobile phones: a case study with email}, booktitle = {The 9th {IEEE} International Symposium on Personal, Indoor and Mobile Radio Communications, {PIMRC} 1998, Boston, MA, USA, September 8-11, 1998}, pages = {99--105}, publisher = {{IEEE}}, year = {1998}, url = {https://doi.org/10.1109/PIMRC.1998.733520}, doi = {10.1109/PIMRC.1998.733520}, timestamp = {Tue, 19 May 2020 15:57:12 +0200}, biburl = {https://dblp.org/rec/conf/pimrc/WooSM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsac/WooPS97, author = {Thomas Y. C. Woo and Thomas F. La Porta and Krishan K. Sabnani}, title = {Pigeon: {A} Wireless Two-Way Messaging System}, journal = {{IEEE} J. Sel. Areas Commun.}, volume = {15}, number = {8}, pages = {1391--1405}, year = {1997}, url = {https://doi.org/10.1109/49.634779}, doi = {10.1109/49.634779}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsac/WooPS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icnp/WooPS97, author = {Thomas Y. C. Woo and Thomas F. La Porta and Krishan K. Sabnani}, title = {User Agents and Flexible Messages: {A} New Approach to Wireless Two-Way Messaging}, booktitle = {1997 International Conference on Network Protocols {(ICNP} '97), 28-31 October 1997, Atlanta, GA, {USA}}, pages = {53--62}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ICNP.1997.643692}, doi = {10.1109/ICNP.1997.643692}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icnp/WooPS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/MittraW97, author = {Suvo Mittra and Thomas Y. C. Woo}, editor = {Christophe Diot and Christian Huitema and Scott Shenker and Martha Steenstrup}, title = {A Flow-Based Approach to Datagram Security}, booktitle = {Proceedings of the {ACM} {SIGCOMM} 1997 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, September 14-18, 1997, Cannes, France}, pages = {221--234}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/263105.263170}, doi = {10.1145/263105.263170}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigcomm/MittraW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pimrc/WooPS96, author = {Thomas Y. C. Woo and Thomas F. La Porta and Krishan K. Sabnani}, title = {Pigeon: a wireless two-way messaging system}, booktitle = {The 7th {IEEE} International Symposium on Personal, Indoor and Mobile Radio Communications, {PIMRC} 1996, Taipei, Taiwan, October 15-18, 1996}, pages = {693--697}, year = {1996}, url = {https://doi.org/10.1109/PIMRC.1996.567484}, doi = {10.1109/PIMRC.1996.567484}, timestamp = {Thu, 28 May 2020 11:01:18 +0200}, biburl = {https://dblp.org/rec/conf/pimrc/WooPS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigops/WooL94, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {A Lesson on Authentication Protocol Design}, journal = {{ACM} {SIGOPS} Oper. Syst. Rev.}, volume = {28}, number = {3}, pages = {24--37}, year = {1994}, url = {https://doi.org/10.1145/182110.182113}, doi = {10.1145/182110.182113}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigops/WooL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icnp/WooL94, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {Design, verification and implementation of an authentication protocol}, booktitle = {1994 International Conference on Network Protocols, {ICNP} 1994, Boston, MA, USA, October 25-28, 1994, Proceedings}, pages = {81--90}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/ICNP.1994.344373}, doi = {10.1109/ICNP.1994.344373}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icnp/WooL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/usenix/WooBSL94, author = {Thomas Y. C. Woo and Raghuram Bindignavle and Shaowen Su and Simon S. Lam}, title = {{SNP:} An Interface for Secure Network Programming}, booktitle = {{USENIX} Summer 1994 Technical Conference, Boston, Massachusetts, USA, June 6-10, 1994, Conference Proceeding}, pages = {45--58}, publisher = {{USENIX} Association}, year = {1994}, url = {https://www.usenix.org/conference/usenix-summer-1994-technical-conference/snp-interface-secure-network-programming}, timestamp = {Mon, 01 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/usenix/WooBSL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csec/WooL93, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {Authorizations in Distributed Systems: {A} New Approach}, journal = {J. Comput. Secur.}, volume = {2}, number = {2-3}, pages = {107--136}, year = {1993}, url = {https://doi.org/10.3233/JCS-1993-22-304}, doi = {10.3233/JCS-1993-22-304}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csec/WooL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/WooL93, author = {Thomas Y. C. Woo and Simon S. Lam}, editor = {Dorothy E. Denning and Raymond Pyle and Ravi Ganesan and Ravi S. Sandhu and Victoria Ashby}, title = {A Framework for Distributed Authorization}, booktitle = {{CCS} '93, Proceedings of the 1st {ACM} Conference on Computer and Communications Security, Fairfax, Virginia, USA, November 3-5, 1993}, pages = {112--118}, publisher = {{ACM}}, year = {1993}, url = {https://doi.org/10.1145/168588.168603}, doi = {10.1145/168588.168603}, timestamp = {Tue, 10 Nov 2020 20:00:40 +0100}, biburl = {https://dblp.org/rec/conf/ccs/WooL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icnp/WooL93, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {Verifying authentication protocols: methodology and example}, booktitle = {1993 International Conference on Network Protocols, {ICNP} 1993, San Francisco, CA, USA, October 19-22, 1993, Proceedings}, pages = {36--45}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/ICNP.1993.340904}, doi = {10.1109/ICNP.1993.340904}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icnp/WooL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/WooL93, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {A semantic model for authentication protocols}, booktitle = {1993 {IEEE} Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993}, pages = {178--194}, publisher = {{IEEE} Computer Society}, year = {1993}, url = {https://doi.org/10.1109/RISP.1993.287633}, doi = {10.1109/RISP.1993.287633}, timestamp = {Thu, 21 Sep 2023 15:57:35 +0200}, biburl = {https://dblp.org/rec/conf/sp/WooL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/WooL92, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {Authentification for Distributed Systems}, journal = {Computer}, volume = {25}, number = {1}, pages = {39--52}, year = {1992}, url = {https://doi.org/10.1109/2.108052}, doi = {10.1109/2.108052}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/WooL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/LifschitzW92, author = {Vladimir Lifschitz and Thomas Y. C. Woo}, editor = {Bernhard Nebel and Charles Rich and William R. Swartout}, title = {Answer Sets in General Nonmonotonic Reasoning (Preliminary Report)}, booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992}, pages = {603--614}, publisher = {Morgan Kaufmann}, year = {1992}, timestamp = {Fri, 22 Jun 2018 07:35:19 +0200}, biburl = {https://dblp.org/rec/conf/kr/LifschitzW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/WooL92, author = {Thomas Y. C. Woo and Simon S. Lam}, title = {Authorization in distributed systems: a formal approach}, booktitle = {1992 {IEEE} Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992}, pages = {33--50}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/RISP.1992.213272}, doi = {10.1109/RISP.1992.213272}, timestamp = {Thu, 21 Sep 2023 15:57:35 +0200}, biburl = {https://dblp.org/rec/conf/sp/WooL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hlppp/ChakravartyKWBA91, author = {Indranil Chakravarty and Michael F. Kleyn and Thomas Y. C. Woo and Rajive L. Bagrodia and Vernon Austel}, editor = {Jean{-}Pierre Ban{\^{a}}tre and Daniel Le M{\'{e}}tayer}, title = {{UNITY} to {UC:} {A} Case Study in the Derivation of Parallel Programs}, booktitle = {Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings}, series = {Lecture Notes in Computer Science}, volume = {574}, pages = {6--20}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55160-3\_30}, doi = {10.1007/3-540-55160-3\_30}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/hlppp/ChakravartyKWBA91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/LamSW91, author = {Simon S. Lam and A. Udaya Shankar and Thomas Y. C. Woo}, title = {Applying a Theory of Modules and Interfaces to Security Verification}, booktitle = {Proceedings of the 1991 {IEEE} Symposium on Security and Privacy, Oakland, California, USA, May 20-22, 1991}, pages = {136--155}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/RISP.1991.130782}, doi = {10.1109/RISP.1991.130782}, timestamp = {Thu, 21 Sep 2023 15:57:35 +0200}, biburl = {https://dblp.org/rec/conf/sp/LamSW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.