Share on Facebook Tweet on Twitter Share on LinkedIn Share by email

Search results

Narrow results to
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
Recent searches

javascript

Showing 1–25 of 901

Results for javascript

The Microsoft Research JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and forward-looking manner. The algorithms ...
http://research.microsoft.com/en-us/downloads/29f9385d-da4c-479a-b2ea-2a7bb335d727/default.aspx
The Ajax View JavaScript Instrumentation Proxy is an HTTP proxy that dynamically instruments JavaScript applications to monitor their performance and behavior within ...
http://research.microsoft.com/en-us/downloads/e82e1a27-e500-4e91-85fd-75886242acfc/default.aspx
The advent of Web 2.0 has lead to the proliferation of client-side code that is typically written in JavaScript. This code is often combined or mashed-up with other ...
http://research.microsoft.com/en-us/projects/gatekeeper/
JavaScript is widely used in web-based applications and is increasing popular with developers. So-called ”browser wars” in recent years have focused on ...
http://research.microsoft.com/en-us/projects/jsmeter/
Gradual Typing Embedded Securely in JavaScript N. Swamy C. Fournet A. Rastogi K. Bhargavan J. Chen P.-Y Strub G. Bierman MSR INRIA IMDEA Abstract
http://research.microsoft.com/en-us/um/people/nswamy/papers/gradual-typing-embedded-securely-in-javascript-draft.pdf
ZOZZLE: Fast and Precise In-Browser JavaScript Malware Detection Charlie Curtsinger Univ. of Mass., Amherst Benjamin Livshits and Benjamin Zorn Microsoft Research
http://research.microsoft.com/en-us/um/people/livshits/papers/pdf/usenixsec11b.pdf
The injected instrumentation code runs with the rest of the web application inside the end-user's browser and can ... Ajax View JavaScript Instrumentation Proxy ...
http://research.microsoft.com/en-us/projects/ajaxview/
JavaScript has long outpaced its original target applications, being used not only for coding complex web clients, but also web servers ...
http://research.microsoft.com/en-us/people/nikolait/
Towards JavaScript Verification with the Dijkstra State Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Juan Chen1 Benjamin Livshits1 Microsoft Research1 UC ...
http://research.microsoft.com/en-us/um/people/nswamy/papers/js2fs-dijkstra.pdf
A library for programming Kinect for Windows inside Internet Explorer. This allows developers to write Web applications with Javascript that interface with the Kinect ...
http://research.microsoft.com/en-us/downloads/b9ec7394-1786-49b1-b060-33b060a847d1/default.aspx
Unexpectedly, JavaScript has become one of the world's most popular programming language while still remaining one of the world's most misunderstood.
http://research.microsoft.com/apps/video/default.aspx?id=103568
JSZap: Compressing JavaScript Code Martin Burtscher University of Texas at Austin burtscher@ices.utexas.edu Benjamin Livshits and Benjamin G. Zorn
http://research.microsoft.com/en-us/um/people/livshits/papers/pdf/webapps10c.pdf
JavaScript language and obfuscation techniques used in that context. The relevance of this topic comes from the fact that JavaScript code is everywhere.
http://research.microsoft.com/en-us/um/people/livshits/papers/tr/nofus_tr.pdf
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries. Magnus Madsen, Benjamin Livshits, and Michael Fanning 8 November 2012.
http://research.microsoft.com/apps/pubs/default.aspx?id=168635
JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications Paruj Ratanaworabhan Kasetsart University paruj.r@ku.ac.th Benjamin Livshits and ...
http://research.microsoft.com/en-us/um/people/livshits/papers%5cpdf%5cwebapps10b.pdf
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries Magnus Madsen Aarhus University, Denmark Benjamin Livshits
http://research.microsoft.com/en-us/um/people/livshits/papers/pdf/fse13.pdf
GULFSTREAM: Staged Static Analysis for Streaming JavaScript Applications Salvatore Guarnieri University of Washington Benjamin Livshits Microsoft Research
http://research.microsoft.com/en-us/um/people/livshits/papers/pdf/webapps10a.pdf
Fully Abstract Compilation to JavaScript C´edric Fournet Nikhil Swamy Juan Chen Pierre-Evariste Dagand Pierre-Yves Strub 1 Benjamin Livshits Microsoft Research and ...
http://research.microsoft.com/en-us/um/people/nswamy/papers/js-star.pdf
By Emre Kıcıman and Benjamin Livshits. Do you know what your users are experiencing when they visit your AJAX application? Is your JavaScript code running fast ...
http://research.microsoft.com/en-us/projects/ajaxview/ajaxviewusage.aspx
JavaScript cryptographic algorithm implementations suitable for use in all cloud services in a HTML5 compliant and forward-looking manner
http://research.microsoft.com/en-us/projects/msrjscrypto/
Abstract. Mugshot is a system that captures every event in an executing JavaScript program, allowing developers to deterministically replay past executions of web ...
http://research.microsoft.com/apps/pubs/default.aspx?id=120937
This page contains auxiliary material associated with our work on compiling F* to JavaScript, described in this POPL 2013 paper. Fully-Abstract Compilation to JavaScript
http://research.microsoft.com/en-us/um/people/nswamy/supp/full-abstraction.html
The Security and Cryptography Incubations group does applied research in systems security and cryptography.
http://research.microsoft.com/en-us/groups/secinc/default.aspx
JavaScript Pointer Analysis Gulfstream • JavaScript programs on the web are streaming • Fully static analysis pointer analysis is not possible,
http://research.microsoft.com/en-us/um/people/livshits/papers/ppt/dagstuhl_april_2013.pdf
The U-Prove JavaScript SDK implements the client-side of the U-Prove Cryptographic Specification [1], and is a companion to the U-Prove C# SDK [2]. It can be used to ...
http://research.microsoft.com/en-us/downloads/1008a07e-5cc6-4a96-a6f1-4f26dadb317b/default.aspx
> Search results