Vivek

Results: 447



#Item
81Towards Trusted Systems from the Ground Up Vivek Haldar Michael Franz Information and Computer Science,

Towards Trusted Systems from the Ground Up Vivek Haldar Michael Franz Information and Computer Science,

Add to Reading List

Source URL: www.vivekhaldar.com

Language: English - Date: 2005-12-09 20:49:47
    82Mandatory Access Control at the Object Level in the Java Virtual Machine Vivek Haldar Michael Franz University of California Irvine, CA 92697 +

    Mandatory Access Control at the Object Level in the Java Virtual Machine Vivek Haldar Michael Franz University of California Irvine, CA 92697 +

    Add to Reading List

    Source URL: www.vivekhaldar.com

    Language: English - Date: 2005-12-09 20:49:49
      83The Source is the Proof Vivek Haldar Christian H. Stork Michael Franz University of California, Irvine

      The Source is the Proof Vivek Haldar Christian H. Stork Michael Franz University of California, Irvine

      Add to Reading List

      Source URL: www.vivekhaldar.com

      Language: English - Date: 2005-12-09 20:49:48
        84JUN.-PROF.DR. VIVEK K. VELAMURI Schumpeter Junior Professorship in Entrepreneurship and Technology Transfer HHL Leipzig Graduate School of Management Jahnallee 59, 04109 Leipzig, Germany T +

        JUN.-PROF.DR. VIVEK K. VELAMURI Schumpeter Junior Professorship in Entrepreneurship and Technology Transfer HHL Leipzig Graduate School of Management Jahnallee 59, 04109 Leipzig, Germany T +

        Add to Reading List

        Source URL: www.hhl.de

        Language: English - Date: 2014-07-24 09:05:18
          85Bounded Memory Protocols Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , Andre Scedrov4 Abstract It is well-known that the Dolev-Yao adversary is a powerful adversary. Besides acting as the network, intercepting, de

          Bounded Memory Protocols Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , Andre Scedrov4 Abstract It is well-known that the Dolev-Yao adversary is a powerful adversary. Besides acting as the network, intercepting, de

          Add to Reading List

          Source URL: www.nigam.info

          Language: English - Date: 2014-06-16 14:53:59
            86Practical, Dynamic Information-flow for Virtual Machines Vivek Haldar, Deepak Chandra, and Michael Franz University of California, Irvine, CA 92617, USA, {vhaldar, dchandra, mfranz}@uci.edu

            Practical, Dynamic Information-flow for Virtual Machines Vivek Haldar, Deepak Chandra, and Michael Franz University of California, Irvine, CA 92617, USA, {vhaldar, dchandra, mfranz}@uci.edu

            Add to Reading List

            Source URL: www.vivekhaldar.com

            Language: English - Date: 2005-12-09 20:49:49
              87Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

              Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

              Add to Reading List

              Source URL: www.nigam.info

              Language: English - Date: 2015-03-22 10:55:44
                88Dealership Ad (16 H x 24 W) Vivek

                Dealership Ad (16 H x 24 W) Vivek

                Add to Reading List

                Source URL: www.amwmotors.com

                - Date: 2013-07-31 07:28:53
                  89Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract) Vivek Nigam & Leonardo Lima Universidade Federal da Paraíba, Brazil & Giselle Reis

                  Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract) Vivek Nigam & Leonardo Lima Universidade Federal da Paraíba, Brazil & Giselle Reis

                  Add to Reading List

                  Source URL: www.nigam.info

                  Language: English - Date: 2014-01-29 17:40:34
                    90BMO Financial Group Invests in TIBCO Fast Data to Deliver Exceptional Customer Experience 30–50% faster time-to-market, real-time reaction, 3x greater offer acceptance CHALLENGE “The trust we put in TIBCO,

                    BMO Financial Group Invests in TIBCO Fast Data to Deliver Exceptional Customer Experience 30–50% faster time-to-market, real-time reaction, 3x greater offer acceptance CHALLENGE “The trust we put in TIBCO,

                    Add to Reading List

                    Source URL: spotfire.tibco.com

                    Language: English - Date: 2015-04-20 00:35:01