Chalmers - PDFSEARCH.IO - Document Search Engine

Chalmers
Results: 1415

#	Item
671	THESIS FOR THE DEGREE OF LICENTIATE OF ENGINEERING Towards Understanding Sustainable Textile Waste Management: Environmental impacts and social indicators Bahareh Zamani Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2014-10-27 08:52:33 Sustainability Environmentalism Global Organic Textile Standard Waste Life-cycle assessment Electronic waste Environment Industrial ecology Environmental social science
672	Capabilities for information flow Arnar Birgisson Alejandro Russo Andrei Sabelfeld Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Stack Object-capability model
673	On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius, Alejandro Russo, and Andrei Sabelfeld Dept. of Computer Science and Engineering, Chalmers University of TechnologyGothenburg, Sweden, Fax: +46 31 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:02 Data types Type theory Scripting languages Subroutines Inline expansion Eval Variable Information flow Scope Software engineering Computing Computer programming
674	Architectures for Inlining Security Monitors in Web Applications Jonas Magazinius, Daniel Hedin, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Securing JavaScript in the browser is Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-06 11:26:36 Computer security Internet Cross-platform software JavaScript HTTP cookie Same origin policy World Wide Web Proxy server Proxy auto-config Computing Internet privacy Computer network security
675	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
676	1 Implementing Erasure Policies Using Taint Analysis Filippo Del Tedesco, Alejandro Russo, and David Sands Chalmers University of Technology, G¨oteborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-11-16 07:34:14 Public key fingerprint Software engineering Immutable object Computer programming Erasure Fingerprint Data erasure Computing Coding theory
677	Securing Interactive Programs Willard Rafnsson Daniel Hedin Andrei Sabelfeld Department of Computer Science and Engineering Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-04-18 03:51:02 Constructible universe Ordinal number
678	Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:14 Computing Mathematics Data integrity Control flow Hoare logic Data management Program logic Computer programming Invariant
679	Limiting Information Leakage in Event-based Communication Willard Rafnsson Andrei Sabelfeld Chalmers Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Logical syntax Metalogic Philosophical logic Propositional calculus Ch Dependence analysis Logic Deduction Entailment
680	Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Tracking information Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-07-02 05:45:52 Data types Primitive types Control flow Information flow Information theory Exception handling Programming language String C Computing Software engineering Computer programming

UPDATE