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 813

Results for javascript

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/livshi%74s/papers/pdf/popl13b.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
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/liv%73hits/papers/pdf/webapps10b.pdf
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
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
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
JavaScript that is compiled within the browser whereas JSAND extracts manually selected runtime features, such as number of specific shellcode strings.
http://research.microsoft.com/en-us/um/people/livshits/papers/tr/zozzle_tr.pdf
and also for reasons as diverse as creating browser exten-sions and operating system widgets. JavaScript is a highly dynamic, expressive language, which means that ...
http://research.microsoft.com/en-us/um/people/livshits/papers/tr/nofus_tr.pdf
Plan Server •Pre-compute pointer information offline, for most of the program •Optionally update server knowledge as more code is observed
http://research.microsoft.com/en-us/um/people/livshits/papers/ppt/dagstuhl_april_2013.pdf
Detecting JavaScript Races that Matter Erdal Mutlu Koc˘ University Serdar Tasiran Koc˘ University Benjamin Livshits Microsoft Research Abstract As ...
http://research.microsoft.com/en-us/um/people/livshits/papers/tr/jsraces_tr.pdf
Monadic Refinement Types for Verifying JavaScript Programs Nikhil Swamy1 Joel Weinberger2 Juan Chen1 Ben Livshits1 Cole Schlesinger3 Microsoft Research1 UC Berkeley2 ...
http://research.microsoft.com/en-us/um/people/livshits/papers/tr/refinement_js.pdf
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
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 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
This project is focused on creating a very low-overhead Time-Traveling Debugger in the ChakraCore JavaScript engine. This debugger supports reverse step variations of ...
http://research.microsoft.com/en-us/projects/jsttd/default.aspx
The Future of Javascript. Download. Video (WMV) Video (MP4) Audio (WMA) Audio (MP3) Slides (XPS) Slides (PDF) Transcript (DOC) Speaker Douglas Crockford. Affiliation ...
http://research.microsoft.com/apps/video/default.aspx?id=103568
1 Introduction Over the last decade, JavaScript has become the lin-gua franca of the web, meaning that increasingly large JavaScript applications are being delivered ...
http://research.microsoft.com/en-us/um/people/livshits/papers/tr/jszap_tr.pdf
Isolating JavaScript in Dynamic Code Environments Antonis Krithinakis Elias Athanasopoulos Evangelos P. Markatos Institute of Computer Science, Foundation for ...
http://research.microsoft.com/en-us/um/redmond/events/aplwaca2010/s0pknu7ytck3k3lq9nas/p45-krithinakis.pdf
AJAX: Tension Headaches 4 Execution can’t start without the code Move code to client for responsiveness
http://research.microsoft.com/en-us/um/people/livshits/papers/ppt/jszap-webapps10.pdf
Gradual Typing Embedded Securely in JavaScript Nikhil Swamy1 Cedric Fournet´ 1 Aseem Rastogi2 Karthikeyan Bhargavan3 Juan Chen1 Pierre-Yves Strub4 Gavin Bierman1
http://research.microsoft.com/en-us/um/people/nswamy/papers/tstar.pdf
Abstract. 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/
Nozzle: Runtime heap spray detector. Nozzle is a runtime monitoring infrastructure that detects attempts by attackers to spray the heap. Nozzle uses lightweight ...
http://research.microsoft.com/en-us/projects/nozzle/
Detecting JavaScript Races that Matter Erdal Mutlu Koç University Serdar Tasiran Koç University Benjamin Livshits Microsoft Research ABSTRACT As JavaScript has ...
http://research.microsoft.com/en-us/um/people/livshits/papers/pdf/fse15.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
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/
> Search results