Please use this identifier to cite or link to this collection:


Recent Submissions

  • Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution 

    Micinski, Kristopher; Fetter-Degges, Jonathan; Jeon, Jinseong; Foster, Jeffrey S.; Clarkson, Michael R. (2015-07-01)
    Mobile apps can access a wide variety of secure information, such as contacts and location. However, current mobile platforms include only coarse access control mechanisms to protect such data. In this paper, we introduce ...
  • Accurate computation of Galerkin double surface integrals in the 3-D boundary element method 

    Adelman, Ross; Gumerov, Nail A.; Duraiswami, Ramani (2015-05-29)
    Many boundary element integral equation kernels are based on the Green’s functions of the Laplace and Helmholtz equations in three dimensions. These include, for example, the Laplace, Helmholtz, elasticity, Stokes, and ...
  • Automating Efficient RAM-Model Secure Computation 

    Liu, Chang; Huang, Yan; Shi, Elaine; Katz, Jonathan; Hicks, Michael (2014-03-13)
    RAM-model secure computation addresses the inherent limitations of circuit-model secure computation considered in almost all previous work. Here, we describe the first automated approach for RAM-model secure computation ...
  • A Stochastic Approach to Uncertainty in the Equations of MHD Kinematics 

    Phillips, Edward G.; Elman, Howard C. (2014-07-10)
    The magnetohydodynamic (MHD) kinematics model describes the electromagnetic behavior of an electrically conducting fluid when its hydrodynamic properties are assumed to be known. In particular, the MHD kinematics equations ...
  • The Maryland Virtual Demonstrator Environment for Robot Imitation Learning 

    Huang, Di-Wei; Katz, Garrett E.; Gentili, Rodolphe J.; Reggia, James A. (2014-06-20)
    Robot imitation learning, where a robot autonomously generates actions required to accomplish a task demonstrated by a human, has emerged as a potential replacement for a more conventional hand-coded approach to programming ...

View more