David Wittenberg's Publications

A listing of these publications with their abstracts can be found here.

1. Jonathan B. Wittenberg, William Wittenberg, and David K. Wittenberg,
   Roles of Blood Plasma and Erythrocytes in Secretion of Inert Gas into the Teleost Swimbladder (abstract).
   Biological Bulletin, 151(2):434--435, Oct. 1976.

2. David Mauzerall and David Wittenberg,
   The Size of the Photosynthetic Unit and its Turnover Time in Various Seaweeds (abstract).
   Biological Bulletin, , 157(2):382, Oct. 1979.

3. William Wittenberg, David K. Wittenberg, and Jonathan B. Wittenberg,
   Secretion of Nitrogen into the Swimbladder of Fish I. Secretion by Fishes Nearly Lacking Circulating Hemoglobin. Role of the Rete Mirabale.
   Biological Bulletin, 161(3):426--439, Dec. 1981.

4. David K. Wittenberg, William Wittenberg, Jonathan B.Wittenberg and Nobutomo Itada,
   Secretion of Nitrogen into the Swimbladder of Fish II. Molecular Mechanism. Secretion of Noble Gasses.
   Biological Bulletin, 161(3):440--451, Dec. 1981.

5. Michael J. Fischer, Silvio Micali, Charles Rackoff, and David K. Wittenberg,
   Proof of an Oblivious Transfer Protocol, or: A Proven Oblivious Transfer Protocol.
   Presented at Conference on the Mathematical Theory of Security, MIT Endicott house, Dedham, Massachusetts, 1985. abstract

6. David K. Wittenberg and Jerrold S. Leichter,
   System for controlling access to a secure system by verifying acceptability of proposed password by using hashing and group of unacceptable passwords.
   United States Patent 5,204,966, 1993. abstract, text

7. David K. Wittenberg,
   Reducing the Randomness Requirements for Quantum Money.
   Technical report CS-95-177, Computer Science Department, Brandeis University, 1995. abstract, ps, pdf

8. Timothy J. Hickey and David K. Wittenberg,
   Validated Constraint Compilation.
   Technical Report CS-99-201, Computer Science Department, Brandeis University, 1999. abstract, pdf

9. Timothy J. Hickey and David K. Wittenberg,
   Validated Constraint Compilation.
   in Joxan Jaffar, editor, Principles and Practice of Constraint Programming - CP'99 volume 1713 of Lecture Notes in Computer Science, pages 482--483, 1999. ps A longer version is [8]

10. Timothy J. Hickey and David K. Wittenberg
    Using Analytic CLP to Model and Analyze Hybrid Systems
    Technical Report CS-03-240, Computer Science Department, Brandeis University, 2003, abstract, pdf A later version is [13].

11. Timothy J. Hickey and David K. Wittenberg
    Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints
    Technical Report CS-03-241, Computer Science Department, Brandeis University, 2003, pdf A later version is [14].

12. David K.Wittenberg
    On Unverifiable Facts
    Brandeis Graduate Journal 1(1), 2003 abstract, pdf

13. Timothy J. Hickey and David K. Wittenberg,
    Using Analytic CLP to Model and Analyze Hybrid Systems,
    in Valerie Barr and Zdravko Markov, editors, FLAIRS: Florida AI Research Symposium pages 269--274, AAAI Press, 2004 pdf

14. Timothy J. Hickey and David K. Wittenberg,
    Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints
    in Rajeev Alur and George J. Pappas, editors, Hybrid Systems: Computation and Control HSCC 2004, volume 2993 of Lecture Notes in Computer Science pages 402--416, Springer Verlag, 2004. abstract, ps

15. Timothy J. Hickey and David K. Wittenberg,
    Notes on using CLIP,
    2004, currently a very early draft. abstract, ps, pdf

16. David Karger Wittenberg,
    CLP(F) Modeling of Hybrid Systems,
    PhD thesis, Brandeis University, May 2004. abstract, ps, pdf

17. John T. Langton, Timothy J. Hickey and David K. Wittenberg,
    Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries
    in Pierre P. Lévy, Bénédicte Le Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, and Jean-François Vibert, editors, Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006 volume 4370 of Lecture Notes in Computer Science pages 77--91. Springer Verlag 2006 abstract, pdf

18. Timothy J. Hickey and David K. Wittenberg,
    Modeling Hysteresis in CLIP -- The Tank Flow Problem,
    in Rafi L. Muhanna and Robert L. Mullen, editors REC 2006 Proceedings of the NSF Workshop on Reliable Engineering Computing: Modeling Errors and Uncertainty in Engineering Computations pages 99--112, 2006. abstract, pdf, ps

19. Arik Z. Lakritz, Peter Macko, David K. Wittenberg,
    Simple Additive LSB Steganography in Losslessly Encoded Images, 2007
    abstract pdf
    

20. Udit Dhawan, Albert Kwon, Edin Kadric, Cătălin Hriţcu, Benjamin C. Pierce, Jonathan M. Smith, Gregory Malecha, Greg Morrisett, Thomas F. Knight, Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan, André DeHon,
    Hardware Support for Safety Interlocks and Introspection,
    Adaptive Host and Network Security Workshop, 2012
    abstract pdf

21. Silviu Chiricescu, Andre ́ DeHon, Delphine Demange, Suraj Iyer, Aleksey Kliger, Greg Morrisett, Benjamin C. Pierce, Howard Reubenstein, Jonathan M. Smith, Gregory T. Sullivan, Arun Thomas, Jesse Tov, Christopher M. White, David Wittenberg
    SAFE: A Clean-Slate Architecture for Secure Systems
    IEEE Conference on Technologies for Homeland Security 2013
    abstract pdf
    
22. Jeffrey Smith, Basil Krikeles, David K. Wittenberg, and Mikael Taveniku,
    Applied Vulnerability Detection System,
    in IEEE Symposium on Technologies for Homeland Security, 2015
    abstract pdf

23. Joseph Fahey, Howard Reubenstein, David Wittenberg, and Gregory Sullivan,
    Benefits of Deploying Inherently Secure Nodes Within a Distributed System,
    IEEE Syposium on Software Technologies, 2015
    abstract pdf

24. David K. Wittenberg, Jeffrey Smith, Robert Gray, Gregory Eakman
    Automotive Vulnerability Detection System
    Embedded Security in Cars 2016
    abstract paper

25. David K. Wittenberg, Edin Kadric, Andre ́ DeHon, Jonathan Edwards, Jeffrey Smith, Silviu Chiricescu
    PERFECT Case Studies Demonstrating Order of Magnitude Reduction in Power Consumption
    High Performance Extreme Computing 2016 abstract pdf