Karl N. Levitt

发表

Biswanath Mukherjee, L. Todd Herberlein, Gihan V. Dias, 1990, Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy.
Karl N. Levitt, Dustin Lee, Jeff Rowe, 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..
Karl N. Levitt, Jeff Rowe, Ruaylong Lee, 2011, 2011 International Conference on Advances in Social Networks Analysis and Mining.
Catherine Rosenberg, S. Shankar Sastry, Ruzena Bajcsy, 2004, CACM.
Karl N. Levitt, 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..
Karl N. Levitt, Marcus A. Tylutki, 2005 .
Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1996, TPHOLs.
Deborah A. Frincke, Karl N. Levitt, Jim Alves-Foss, 1992 .
Karl N. Levitt, Ronald A. Olsson, Raymond W. Lo, 1997, Softw. Test. Verification Reliab..
Karl N. Levitt, Shyhtsun Felix Wu, Matthew Spear, 2008, 2008 IEEE International Conference on Communications.
Karl N. Levitt, Yun Li, Sisi Duan, 2016, 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
Karl N. Levitt, Calvin Ko, Manfred Ruschitzka, 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
Karl N. Levitt, Carrie Gates, Matt Bishop, 2018, NSPW '18.
Karl N. Levitt, Melissa Danforth, K. Levitt, 2006 .
Karl N. Levitt, Jeff Rowe, Mike Hogarth, 2013, NSPW '13.
Michael Gertz, Karl N. Levitt, Christina Yip Chung, 2000, DBSec.
Karl N. Levitt, Matt Bishop, Shiau-Huey Wang, 2007, RAID.
Karl N. Levitt, Jeff Rowe, Phillip A. Porras, 2004, WORM '04.
Deborah A. Frincke, Karl N. Levitt, Myla Archer, 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.
Karl N. Levitt, William H. Kautz, K. Levitt, 1972, Commun. ACM.
Karl N. Levitt, Jack Goldberg, John H. Wensley, 1974, IEEE Transactions on Computers.
Biswanath Mukherjee, Gihan V. Dias, Karl N. Levitt, 1991, COMPCON Spring '91 Digest of Papers.
Karl N. Levitt, Matt Bishop, Bhume Bhumiratana, 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).
Lawrence Robinson, Peter G. Neumann, Karl N. Levitt, 1976, ICSE '76.
Karl N. Levitt, Jeff Rowe, Tufan Demir, 2007, ASIACCS '07.
Karl N. Levitt, Mark R. Heckman, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
Karl N. Levitt, William L. Harrison, K. Levitt, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Ananthram Swami, Srikanth V. Krishnamurthy, Karl N. Levitt, 2016, 2016 IEEE Conference on Communications and Network Security (CNS).
P. M. Melliar-Smith, Karl N. Levitt, Richard J. Feiertag, 1979 .
Karl N. Levitt, Robert S. Boyer, Bernard Elspas, 1975, Reliable Software.
Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, 2004, 2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).
Eugene L. Lawler, Karl N. Levitt, James Turner, 1969, IEEE Transactions on Computers.
Karl N. Levitt, 1970, IEEE Transactions on Computers.
Anna Scaglione, George Kesidis, Karl N. Levitt, 2015, EURASIP J. Adv. Signal Process..
Karl N. Levitt, George Fink, K. Levitt, 1994, Tenth Annual Computer Security Applications Conference.
Karl N. Levitt, Robert E. Shostak, Milton W. Green, 1976, ICSE '76.
Anna Scaglione, George Kesidis, Karl N. Levitt, 2014, Feedback Computing.
Ananthram Swami, Srikanth V. Krishnamurthy, Trent Jaeger, 2015, MILCOM 2015 - 2015 IEEE Military Communications Conference.
Karl N. Levitt, Jim Alves-Foss, 1991, Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy.
Lawrence Robinson, Karl N. Levitt, Jay M. Spitzen, 1978, CACM.
Karl N. Levitt, Jeff Rowe, D. Nojiri, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Karl N. Levitt, Felix Wu, Lynette Qu Nguyen, 2010 .
Karl N. Levitt, Todd L. Heberlein, Senthilkumar G. Cheetancheri, 2006, 2006 IEEE International Performance Computing and Communications Conference.
Biswanath Mukherjee, Deborah A. Frincke, Karl N. Levitt, 1993, CCS '93.
Karl N. Levitt, Richard H. Crawford, Myla Archer, 1993 .
Zhendong Su, Karl N. Levitt, Jack W. Davidson, 2012 .
Karl N. Levitt, Richard H. Crawford, James A. Hoagland, 1996 .
Hein Meling, Haibin Zhang, Karl N. Levitt, 2014, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems.
Karl N. Levitt, Jacob Goldberg, William H. Kautz, 1967 .
Karl N. Levitt, Steven Cheung, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Karl N. Levitt, Calvin Ko, Tao Song, 2005, RAID.
Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1999, Softw. Test. Verification Reliab..
Karl N. Levitt, Shyhtsun Felix Wu, Matthew Spear, 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.
Karl N. Levitt, Stuart Staniford-chen, Jeremy Frank, 2007 .
Karl N. Levitt, Bernard Elspas, Dwight F Hare, 1982 .
Karl N. Levitt, E. Thomas Schubert, E. T. Schubert, 1992 .
Karl N. Levitt, William H. Kautz, Abraham Waksman, 1968, IEEE Transactions on Computers.
Karl N. Levitt, Matt Bishop, Bhume Bhumiratana, 2006, NSPW '06.
Karl N. Levitt, Stuart Staniford-Chen, Stephen Wu, 1999, Recent Advances in Intrusion Detection.
Deborah A. Frincke, Karl N. Levitt, Myla Archer, 1991, [1991 Proceedings] The Second International Workshop on Rapid System Prototyping.
Karl N. Levitt, Raymond W. Yip, K. Levitt, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
Anna Scaglione, George Kesidis, Karl N. Levitt, 2014, ArXiv.
Karl N. Levitt, Gerald C. Cohen, Tony Leung, 1993 .
Karl N. Levitt, Gerald C. Cohen, G. C. Cohen, 1992 .
Karl N. Levitt, Bernard Elspas, Milton W. Green, 1971, Computer.
Karl N. Levitt, Myla Archer, Sara Kalvala, 1992, TPHOLs.
Karl N. Levitt, Steven Cheung, K. Levitt, 1999 .
Karl N. Levitt, Jeff Rowe, Eve M. Schooler, 2006, LSAD '06.
Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1999, Softw. Test. Verification Reliab..
Cui Zhang, Karl N. Levitt, Jim Alves-Foss, 2004, RAID.
Karl N. Levitt, Shyhtsun Felix Wu, Matthew Spear, 2008, 2008 Second International Conference on Emerging Security Information, Systems and Technologies.
Karl N. Levitt, Calvin Ko, George Fink, 1994, Tenth Annual Computer Security Applications Conference.
Karl N. Levitt, Chinyang Henry Tseng, 2006 .
Karl N. Levitt, Tye Stallard, 2003, 19th Annual Computer Security Applications Conference, 2003. Proceedings..
Michael Gertz, Karl N. Levitt, Christina Yip Chung, 2000, IICIS.
Biswanath Mukherjee, Karl N. Levitt, Gihan Dias, 2017 .
Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1999, Theor. Comput. Sci..
Karl N. Levitt, Robert S. Boyer, Bernard Elspas, 1975 .
Deborah A. Frincke, Karl N. Levitt, Myla Archer, 1991, Proceedings., 6th Annual Knowledge-Based Software Engineering Conference.
Lawrence Robinson, Karl N. Levitt, Brad A. Silverberg, 1979, The Use of Formal Specification of Software.
Karl N. Levitt, Richard H. Crawford, Myla Archer, 1991, COMPCON Spring '91 Digest of Papers.
Karl N. Levitt, Jack Goldberg, Milton W. Green, 1899, AFIPS '68 (Spring).
Karl N. Levitt, Richard J. Waldinger, 1973, POPL '73.
Peter G. Neumann, Karl N. Levitt, Alfonso Valdes, 1996 .
Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1995, TPHOLs.
Lawrence Robinson, Karl N. Levitt, Richard J. Feiertag, 1977, SOSP '77.
Lawrence Robinson, Peter G. Neumann, Karl N. Levitt, 1975, Reliable Software.
Karl N. Levitt, James C. Reynolds, J. Just, 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Karl N. Levitt, Ronald A. Olsson, Raymond W. Lo, 1997, Softw. Test. Verification Reliab..
Elizabeth Sklar, Simon Parsons, Karl N. Levitt, 2012, NSPW '12.
Karl N. Levitt, William H. Kautz, K. Levitt, 1969, IEEE Trans. Inf. Theory.
Karl N. Levitt, Jeff Rowe, Parisa Kianmajd, 2016, 2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).
Karl N. Levitt, Marcus Tylutki, K. Levitt, 2009, IWAN.
Karl N. Levitt, Jeff Rowe, Calvin Ko, 2005, Third IEEE International Workshop on Information Assurance (IWIA'05).
Karl N. Levitt, Phillip J. Windley, Tony Leung, 1993, HUG.
Elizabeth Sklar, Simon Parsons, Karl N. Levitt, 2015, MILCOM 2015 - 2015 IEEE Military Communications Conference.
Simon Parsons, Karl N. Levitt, Jeff Rowe, 2012, COMMA.
Karl N. Levitt, Robert E. Shostak, J. H. Wensley, 1982 .
Karl N. Levitt, William L. Harrison, Myla Archer, 1992, TPHOLs.
Lawrence Robinson, Peter G. Neumann, Karl N. Levitt, 1975 .
Karl N. Levitt, Jim Alves-Foss, K. Levitt, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Karl N. Levitt, Jim Alves-Foss, K. Levitt, 1991, COMPCON Spring '91 Digest of Papers.
Karl N. Levitt, Jeff Rowe, Ivan Balepin, 2003, RAID.
Karl N. Levitt, James C. Reynolds, James E. Just, 2002, Proceedings International Conference on Dependable Systems and Networks.
Karl N. Levitt, Raymond W. Yip, K. Levitt, 1998 .
Karl N. Levitt, William H. Kautz, K. Levitt, 1967, IEEE Trans. Inf. Theory.
Peter G. Neumann, Karl N. Levitt, K. Levitt, 1981, SOEN.
Karl N. Levitt, Dan Zerkle, 1996, USENIX Security Symposium.
George Kesidis, Chen-Nee Chuah, Karl N. Levitt, 2016, IoTBD.
Karl N. Levitt, Matt Bishop, Bhume Bhumiratana, 2004, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.
Karl N. Levitt, Richard J. Waldinger, R. Waldinger, 1973, Artif. Intell..
Cui Zhang, Karl N. Levitt, Ronald A. Olsson, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.
Karl N. Levitt, William H. Kautz, Bernard Elspas, 1986 .
Thomas F. La Porta, Novella Bartolini, Karl N. Levitt, 2016, MILCOM 2016 - 2016 IEEE Military Communications Conference.
Anna Scaglione, George Kesidis, Karl N. Levitt, 2014, ArXiv.
Karl N. Levitt, Sean Peisert, Sisi Duan, 2015, IEEE Transactions on Dependable and Secure Computing.
Karl N. Levitt, Cynthia E. Irvine, K. Levitt, 2007, 2007 44th ACM/IEEE Design Automation Conference.
Karl N. Levitt, Melissa Danforth, K. Levitt, 2003, ICMLA.
Karl N. Levitt, Christopher E. Wee, James Hoagland, 1998 .
Peter G. Neumann, Karl N. Levitt, J. H. Wensley, 1973 .
Karl N. Levitt, Jeff Rowe, Matt Bishop, 2016, 2016 IEEE Security and Privacy Workshops (SPW).
Karl N. Levitt, Jeff Rowe, Calvin Ko, 2003, SASN '03.
Dipak Ghosal, Arun Raghuramu, Chen-Nee Chuah, 2015, IEEE Communications Magazine.
Karl N. Levitt, Calvin Ko, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Lawrence Robinson, Karl N. Levitt, 1977, CACM.
Peter G. Neumann, Karl N. Levitt, J. H. Wensley, 1973 .
Karl N. Levitt, Gerald C. Cohen, G. C. Cohen, 1991 .
Michael Gertz, Karl N. Levitt, Christina Yip Chung, 1999, Recent Advances in Intrusion Detection.
Karen Zita Haigh, Elizabeth Sklar, Peter McBurney, 2014, Argument Comput..
Karl N. Levitt, Gerald C. Cohen, G. C. Cohen, 1992 .
Karl N. Levitt, Shiau-Huey Wang, Chinyang Henry Tseng, 2007, ASIACCS '07.
Karl N. Levitt, Raju Pandey, James A. Hoagland, 1998, ArXiv.
Karl N. Levitt, Matt Bishop, George Fink, 1995 .
Karl N. Levitt, Jeff Rowe, Calvin Ko, 2001, Recent Advances in Intrusion Detection.
Karl N. Levitt, Richard J. Waldinger, Bernard Elspas, 1973, Commun. ACM.
Karl N. Levitt, Jeff Rowe, James C. Reynolds, 2002, RAID.
Elizabeth Sklar, Simon Parsons, Karl N. Levitt, 2013, AAAI Spring Symposium: Trust and Autonomous Systems.
Karl N. Levitt, Ronald A. Olsson, Raymond W. Lo, 1995, Comput. Secur..
Ananthram Swami, Srikanth V. Krishnamurthy, Trent Jaeger, 2015, MILCOM 2015 - 2015 IEEE Military Communications Conference.
P. M. Melliar-Smith, Karl N. Levitt, R. L. Schwartz, 1984 .
Elizabeth Sklar, Simon Parsons, Karl N. Levitt, 2016, Argument Comput..
Karl N. Levitt, Raju Pandey, James A. Hoagland, 2007 .