Now showing items 1-2 of 2

    • Towards a Practical Secure Concurrent Language 

      Muller, Stefan; Chong, Stephen N (ACM Press, 2012)
      We demonstrate that a practical concurrent language can be extended in a natural way with information security mechanisms that provably enforce strong information security guarantees. We extend the X10 concurrent programming ...
    • Towards a practical secure concurrent language 

      Muller, Stefan; Chong, Stephen N (Computer Science Group, Harvard University, 2012)
      We demonstrate that a practical concurrent language can be extended in a natural way with information security mechanisms that provably enforce strong information security guarantees. We extend the X10 concurrent programming ...