|
|
||||||||||
Technical Reports
Recent Technical Reports of the Department of Computer Science are available on our FTP-Server.
You can also order the reports from the Computer Science Library at
www.library.inf.ethz.ch.
Numbers for technical reports can be obtained from the
intranet section.
To upload your report, please use the web-forms on this site: Technical Report Upload.
Click below to browse our tech-reports:
|
||
| Number | Description | Available Files |
| tr_786 |
Author:
Katerina Bohmova, Yann Disser, Matus Mihalak, and Peter Widmayer
Title: Interval Selection with Machine-Dependent Intervals Technical Reports 786, ETH Zürich, Institute of Theoretical Computer Science, 05 2013. Keywords: Intervals, Scheduling, Complexity, Algorithms, Approximation Pages: 18 Language: EN |
Abstract 786.abstract Adobe PDF File n/a Adobe Postscript File n/a |
| tr_785 |
Author:
Anja Gruenheid, Donald Kossmann, Sukriti Ramesh, Florian Widmer
Title: Crowdsourcing Entity Resolution: When is A=B? Technical Reports 785, ETH Zürich, Systems Group, Department of Computer Science, 09 2012. Keywords: crowdsourcing, entity resolution, data integration Pages: 34 Language: EN |
Abstract 785.abstract Adobe PDF File 785.pdf Adobe Postscript File n/a |
| tr_784 |
Author:
Kenshi Takayama, Daniele Panozzo, Alexander Sorkine-Hornung, Olga Sorkine-Hornung
Title: Robust and Controllable Quadrangulation of Triangular and Rectangular Regions Technical Reports 784, ETH Zürich, Institute for Visual Computing, 12 2012. Keywords: quadrangulation Pages: 4 Language: EN |
Abstract 784.abstract Adobe PDF File n/a Adobe Postscript File n/a |
| tr_783 |
Author:
David Basin and Thai Son Hoang
Title: Technology Transfer within the DEPLOY Project Technical Reports 783, ETH Zürich, Institute of Information Security, 04 2012. Keywords: Technology, Knowledge, Transfer, DEPLOY Pages: 7 Language: EN |
Abstract 783.abstract Adobe PDF File 783.pdf Adobe Postscript File n/a |
| tr_782 |
Author:
Tahmineh Sanamrad,
Lucas Braun,
Andreas Marfurt,
Donald Kossmann,
Ramarathnam Venkatesan
Title: POP: A new encryption scheme for Dynamic Databases Technical Reports 782, ETH Zürich, Systems Group, Department of Computer Science, 03 2013. Keywords: POP, database, encryption, order-preserving, probabilistic Pages: 27 Language: EN |
Abstract 782.abstract Adobe PDF File 782.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_781 |
Author:
Binh Thanh Nguyen and Christoph Sprenger
Title: Sound Security Protocol Transformations Technical Reports 781, ETH Zürich, Information Security, 12 2012. Keywords: security protocols abstraction, refinement, attack preservation Pages: 70 Language: EN |
Abstract 781.abstract Adobe PDF File 781.pdf Adobe Postscript File n/a |
| tr_780 |
Author:
Alec Jacobson
Title: Bijective mappings with generalized barycentric coordinates: a counterexample Technical Reports 780, ETH Zürich, Institute of Visual Computing, 12 2012. Keywords: generalized barycentric coordinates,planar mappings Pages: 2 Language: EN |
Abstract 780.abstract Adobe PDF File 780.pdf Adobe Postscript File n/a |
| tr_779 |
Author:
Cagri Balkesen, Jens Teubner, Gustavo Alonso and M. Tamer Özsu
Title: Main-Memory Hash Joins on Multi-Core CPUs: Tuning to the Underlying Hardware Technical Reports 779, ETH Zürich, Systems Group, Department of Computer Science, 11 2012. Keywords: main-memory database, hash joins, multi-core CPUs Pages: 17 Language: EN |
Abstract 779.abstract Adobe PDF File 779.pdf Adobe Postscript File n/a |
| tr_776 |
Author:
Stefan Heule, Ioannis T. Kassios, Peter Mueller, and Alexander J. Summers
Title: Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Technical Reports 776, ETH Zürich, Chair of Programming Methodology, 11 2012. Keywords: Pages: 25 Language: EN |
Abstract 776.abstract Adobe PDF File 776.pdf Adobe Postscript File n/a |
| tr_774 |
Author:
Erhan Turan; Peter Arbenz
Title: Preconditioning aspects of large scale micro finite element analysis of 3D bone poroelasticity Technical Reports 774, ETH Zürich, Institute of Theoretical Computer Science, 11 2012. Keywords: poroelasticity; mixed finite elements; flexible GMRES; preconditioning; symmetric indefinite systems Pages: 22 Language: EN |
Abstract 774.abstract Adobe PDF File 774.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_773 |
Author:
Alexander J. Summers and Sophia Drossopoulou
Title: A Formal Semantics for Isorecursive and Equirecursive State Abstractions Technical Reports 773, ETH Zürich, ETH Zurich, 10 2012. Keywords: Pages: 30 Language: EN |
Abstract 773.abstract Adobe PDF File 773.pdf Adobe Postscript File n/a |
| tr_772 |
Author:
Ioannis Kassios and Eleftherios Kritikos
Title: A Discipline for Program Veri cation based on Backpointers and its Use in Observational Disjointness Technical Reports 772, ETH Zürich, Computer Science Department, 10 2012. Keywords: Pages: 48 Language: EN |
Abstract 772.abstract Adobe PDF File 772.pdf Adobe Postscript File n/a |
| tr_771 |
Author:
Boris Glavic
Kyumars Sheykh Esmaili
Peter M. Fischer
Nesime Tatbul
Title: Ariadne: Managing Fine-Grained Provenance on Data Streams Technical Reports 771, ETH Zürich, Systems Group, Department of Computer Science, 10 2012. Keywords: Provenance Data Streams Pages: 48 Language: EN |
Abstract 771.abstract Adobe PDF File 771.pdf Adobe Postscript File n/a |
| tr_770 |
Author:
Simone Frau and Mohammad Torabi Dashti
Title: Analysis of Communicating Authorization Policies Technical Reports 770, ETH Zürich, Institute of Information Security, 08 2012. Keywords: Authorization Policies, Security Protocols, Dynamic Policies, Policy Analysis, Reachability, Trust Management Pages: 44 Language: EN |
Abstract 770.abstract Adobe PDF File 770.pdf Adobe Postscript File n/a |
| tr_769 |
Author:
Gustavo Alonso, Donald Kossmann, Tudor-Ioan Salomie, Andreas Schmidt
Title: Shared Scans on Main Memory Column Stores Technical Reports 769, ETH Zürich, Systems Group, Department of Computer Science, 07 2012. Keywords: databases, column store, shared scan, main memory Pages: 12 Language: EN |
Abstract 769.abstract Adobe PDF File 769.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_767 |
Author:
Iulia Ion, Filipe Beato, Srdjan Capkun, Bart Preneel, Marc Langheinrich
Title: For Some Eyes Only: Protecting Online Information Sharing Technical Reports 767, ETH Zürich, Institute for Pervasive Computing, 06 2012. Keywords: data sharing, usability, cloud, data protection Pages: 12 Language: EN |
Abstract 767.abstract Adobe PDF File 767.pdf Adobe Postscript File 767.ps |
| tr_766 |
Author:
Mathias Payer
Title: Too much PIE is bad for performance Technical Reports 766, ETH Zürich, Institute of Computer Systems, 06 2012. Keywords: Position Independent Executable (PIE), Performance, Linux, ASLR, Optimization, Security Pages: 3 Language: EN |
Abstract 766.abstract Adobe PDF File 766.pdf Adobe Postscript File n/a |
| tr_765 |
Author:
Sebastian Seibert, Andreas Sprock, Walter Unger
Title: Advice Complexity of the Online Vertex Coloring Problem Technical Reports 765, ETH Zürich, Chair of Information Technology and Education, 06 2012. Keywords: Online Algorithm, Advice Complexity, Graph Coloring Pages: 19 Language: EN |
Abstract 765.abstract Adobe PDF File 765.pdf Adobe Postscript File n/a |
| tr_764 |
Author:
Matus Mihalak and Jan Christoph Schlegel
Title: Asymmetric Swap-Equilibrium: A Unifying Equilibrium Concept For Network Creation Games Technical Reports 764, ETH Zürich, Institute of Theoretical Computer Science, 06 2012. Keywords: Network Creation Games; Diameter; Price of Anarchy Pages: Language: EN |
Abstract 764.abstract Adobe PDF File n/a Adobe Postscript File n/a |
| tr_763 |
Author:
Davide Zanetti, Vincent Lenders and Srdjan Capkun
Title: Exploring the Physical-layer Identification of GSM Devices Technical Reports 763, ETH Zürich, Institute of Information Security, 06 2012. Keywords: Physical-layer Identification, Fingerprinting, GSM Device, Wireless security, Access control Pages: 32 Language: EN |
Abstract 763.abstract Adobe PDF File 763.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_762 |
Author:
Tomas Hruz and Marcel Schoengens
Title: Partially Specified Nearest Neighbor Search Technical Reports 762, ETH Zürich, Theoretical Computer Science, 05 2012. Keywords: Pages: 15 Language: EN |
Abstract 762.abstract Adobe PDF File 762.pdf Adobe Postscript File n/a |
| tr_761 |
Author:
Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers
Title: Verification Condition Generation for Permission Logics with Abstraction Functions Technical Reports 761, ETH Zürich, Chair of Programming Methodology, 05 2012. Keywords: Program verification, abstract predicates, verification condition generation Pages: 15 Language: EN |
Abstract 761.abstract Adobe PDF File 761.pdf Adobe Postscript File n/a |
| tr_760 |
Author:
Philipp Hupp and Riko Jacob
Title: Tight Bounds for Low Dimensional Star Stencils in the External Memory Model Technical Reports 760, ETH Zürich, Institute of Theoretical Computer Science, 05 2012. Keywords: Hierarchical Memories, Lower Bounds, High Performance Computing, Isoperimetric Inequalities, Data Layouts, Capacity Cache Misses, Non-Compulsory I/Os Pages: 40 Language: EN |
Abstract 760.abstract Adobe PDF File 760.pdf Adobe Postscript File n/a |
| tr_759 |
Author:
Tahmineh Sanamrad, Daniel Widmer, Donald Kossmann
Title: My Private Google Calendar Technical Reports 759, ETH Zürich, Systems Group, Department of Computer Science, 04 2012. Keywords: Functionality-preserving encryption, privacy in Cloud Applications Pages: 19 Language: EN |
Abstract 759.abstract Adobe PDF File 759.pdf Adobe Postscript File n/a |
| tr_758 |
Author:
Marcel Schoengens and Tomas Hruz
Title: A Simple Framework for the Generalized Nearest Neighbor Problem Technical Reports 758, ETH Zürich, Theoretical Computer Science, 04 2012. Keywords: Pages: 15 Language: EN |
Abstract 758.abstract Adobe PDF File 758.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_757 |
Author:
Alec Jacobson, Olga Sorkine
Title: A Cotangent Laplacian for Images as Surfaces Technical Reports 757, ETH Zürich, Institute of Visual Computing, 04 2012. Keywords: image processing, discrete differential geometry Pages: 2 Language: EN |
Abstract 757.abstract Adobe PDF File 757.pdf Adobe Postscript File n/a |
| tr_756 |
Author:
Simon Peter, Rebecca Isaacs, Paul Barham, Richard Black, Timothy Roscoe
Title: Efficient data-parallel computing on small heterogeneous clusters Technical Reports 756, ETH Zürich, Systems Group, Department of Computer Science, 04 2012. Keywords: Cloud computing, clusters, Data-parallel computing, constraint programming, prediction Pages: 14 Language: EN |
Abstract 756.abstract Adobe PDF File 756.pdf Adobe Postscript File n/a |
| tr_755 |
Author:
Joachim M. Buhmann, Matus Mihalak, Rastislav Sramek and Peter Widmayer
Title: Optimization in the presence of uncertainty Technical Reports 755, ETH Zürich, Institute of Theoretical Computer Science & Information Science and Engineering, 04 2012. Keywords: optimization, uncertainty, noise, approximation set Pages: 23 Language: EN |
Abstract 755.abstract Adobe PDF File 755.pdf Adobe Postscript File n/a |
| tr_753 |
Author:
Aanjhan Ranganathan, Boris Danev and Srdjan Capkun
Title: FMCW-based Realization of Distance Bounding Protocols Technical Reports 753, ETH Zürich, Institute of Information Security, 03 2012. Keywords: fmcw, distance bounding Pages: 2 Language: DE |
Abstract 753.abstract Adobe PDF File 753.pdf Adobe Postscript File n/a |
| tr_752 |
Author:
Michael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas R. Gross
Title: Statically Checking API Protocol Conformance with Mined Multi-Object Specifications - Companion Report Technical Reports 752, ETH Zürich, Institute of Computer Systems, 03 2012. Keywords: Pages: 11 Language: EN |
Abstract 752.abstract Adobe PDF File 752.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_749 |
Author:
Lynn Aders, Rene Buffat, Zaheer Chothia, Matthias Wetter, Cagri Balkesen, Peter M. Fischer, Nesime Tatbul
Title: DEBS11 Grand Challenge: Streams, Rules, or a Custom Solution? Technical Reports 749, ETH Zürich, Information Systems, 07 2011. Keywords: Pages: 4 Language: EN |
Abstract 749.abstract Adobe PDF File 749.pdf Adobe Postscript File n/a |
| tr_747 |
Author:
Petar Tsankov, Mohammad Torabi Dashti and David Basin
Title: In-depth fuzz testing of IKE implementations Technical Reports 747, ETH Zürich, Institute of Information Security, 12 2011. Keywords: Software quality, fuzz testing, security protocols, key exchange protocols, IKE Pages: 13 Language: EN |
Abstract 747.abstract Adobe PDF File 747.pdf Adobe Postscript File n/a |
| tr_746 |
Author:
Robert Carnecky, Raphael Fuchs, Stephanie Mehl, Yun Jang, and Ronald Peikert
Title: Smart transparency for illustrative visualization of complex flow surfaces Technical Reports 746, ETH Zürich, Scientific Visualization Group, 05 2011. Keywords: illustrative rendering, transparency, flow visualization, integral surface, illustration buffer, perception Pages: 14 Language: EN |
Abstract 746.abstract Adobe PDF File 746.pdf Adobe Postscript File n/a |
| tr_745 |
Author:
Simon Peter, Andrew Baumann, Zachary Anderson, Timothy Roscoe
Title: Gang scheduling isn’t worth it ... yet Technical Reports 745, ETH Zürich, Systems Group, Department of Computer Science, 11 2011. Keywords: gang scheduling, parallelism, operating systems Pages: 6 Language: EN |
Abstract 745.abstract Adobe PDF File 745.pdf Adobe Postscript File n/a |
| tr_743 |
Author:
Lukas Faessler
Title: Gymnasialer ICT-Unterricht im digitalen Datenlabor Technical Reports 743, ETH Zürich, Informationstechnologie und Ausbildung, 10 2011. Keywords: ICT-Unterricht, Problembasiertes Lernen, 4-Schritte-Modell, E.Tutorial, Gymnasium, Datenlabor Pages: 25 Language: DE |
Abstract 743.abstract Adobe PDF File 743.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_742 |
Author:
Martin Hentschel, Maxim Grinev, and Donald Kossmann
Title: Building Data Flows Using Distributed Key-Value Stores Technical Reports 742, ETH Zürich, Systems Group, Department of Computer Science, 10 2011. Keywords: Data flow, Key-Value Store, Queue, Resource Utilization Pages: 11 Language: DE |
Abstract 742.abstract Adobe PDF File 742.pdf Adobe Postscript File n/a |
| tr_741 |
Author:
Adrian Friedli
Title: Fine-grained aspects of automatic refactoring in C2Eiffel Technical Reports 741, ETH Zürich, Chair of Software Engineering, 10 2011. Keywords: Pages: 53 Language: EN |
Abstract 741.abstract Adobe PDF File 741.pdf Adobe Postscript File n/a |
| tr_740 |
Author:
Hans-Joachim Boeckenhauer, Dennis Komm, Richard Kralovic, Peter Rossmanith
Title: On the advice complexity of the knapsack problem Technical Reports 740, ETH Zürich, Department of Computer Science, Information Technology and Education, 09 2011. Keywords: Online algorithms, advice complexity, competitive ratio, knapsack problem Pages: 12 Language: EN |
Abstract 740.abstract Adobe PDF File 740.pdf Adobe Postscript File n/a |
| tr_738 |
Author:
Dennis Komm, Richard Kralovic, Tobias Moemke
Title: On the advice complexity of the set cover problem Technical Reports 738, ETH Zürich, Department of Computer Science, Information Technology and Education, 09 2011. Keywords: Online algorithms, advice complexity, competitive ratio, set cover problem Pages: 11 Language: EN |
Abstract 738.abstract Adobe PDF File 738.pdf Adobe Postscript File n/a |
| tr_736 |
Author:
Christoph Sprenger and David Basin
Title: Refining Key Establishment Technical Reports 736, ETH Zürich, Information Security, 09 2011. Keywords: Security protocols, refinement, key establishment, Kerberos. Pages: 13 Language: EN |
Abstract 736.abstract Adobe PDF File 736.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_735 |
Author:
Stefan Hildenbrand, Donald Kossmann, Tahmineh Sanamrad, Carsten Binnig, Franz Faerber and Johannes Woehler
Title: Query Processing on Encrypted Data in the Cloud Technical Reports 735, ETH Zürich, Systems Group, Department of Computer Science, 09 2011. Keywords: Privacy, Query Processing Pages: 13 Language: EN |
Abstract 735.abstract Adobe PDF File 735.pdf Adobe Postscript File n/a |
| tr_734 |
Author:
Ghislain Fourny, Daniela Florescu, Donald Kossmann, Markus Zaharioudakis
Title: A Time Machine for XML Technical Reports 734, ETH Zürich, Systems Group, Dept. of Comp. Science, 08 2011. Keywords: PUL, SVN, Transaction Time, XML, XQuery, Versioning Pages: 10 Language: EN |
Abstract 734.abstract Adobe PDF File 734.pdf Adobe Postscript File n/a |
| tr_733 |
Author:
Andreas Emil Feldmann, Luca Foschini
Title: Balanced Partitions of Trees and Applications Technical Reports 733, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Keywords: k-balanced partitioning, trees, graphs, bicriteria approximation Pages: 19 Language: EN |
Abstract 733.abstract Adobe PDF File 733.pdf Adobe Postscript File n/a |
| tr_732 |
Author:
Matthias Schmalz
Title: Term Rewriting in Logics of Partial Functions Technical Reports 732, ETH Zürich, Information Security Group, 07 2011. Keywords: Pages: 26 Language: DE |
Abstract 732.abstract Adobe PDF File 732.pdf Adobe Postscript File n/a |
| tr_731 |
Author:
Andreas Emil Feldmann, Shantanu Das, and Peter Widmayer
Title: Corner Cuts are Close to Optimal: From Solid Grids to Polygons and Back Technical Reports 731, ETH Zürich, Institute of Theoretical Computer Science, 06 2012. Keywords: m-cut, bisection, grid graphs, polygons, corner cuts, min-cut Pages: 59 Language: EN |
Abstract 731.abstract Adobe PDF File 731.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_730 |
Author:
Andreas Emil Feldmann, Peter Widmayer
Title: An O(n^4) Time Algorithm to Compute the Bisection Width of Solid Grid Graphs Technical Reports 730, ETH Zürich, Institute of Theoretical Computer Science, 07 2011. Keywords: bisection, grid graphs Pages: 19 Language: EN |
Abstract 730.abstract Adobe PDF File 730.pdf Adobe Postscript File n/a |
| tr_728 |
Author:
Sacha Krug
Title: Analysis of Approximation Algorithms for the Traveling Salesman Problem in Near-Metric Graphs Technical Reports 728, ETH Zürich, Department of Computer Science, 06 2011. Keywords: approximation algorithms, traveling salesman problem, Hamiltonian path problem, reoptimization Pages: 117 Language: EN |
Abstract 728.abstract Adobe PDF File 728.pdf Adobe Postscript File n/a |
| tr_727 |
Author:
Herbert Bruderer
Title: Zeitrechnung Technical Reports 727, ETH Zürich, Informationstechnologie und Ausbildung, 05 2010. Keywords: Zeitrechnung Kalender Jahr Null Schaltjahre gregorianischer Kalender Pages: 30 Language: DE |
Abstract 727.abstract Adobe PDF File 727.pdf Adobe Postscript File n/a |
| tr_726 |
Author:
Herbert Bruderer
Title: Informatik macht Schule Technical Reports 726, ETH Zürich, Informationstechnologie und Ausbildung, 04 2010. Keywords: Foerderung des Informatikunterrichts Volksschule Mittelschule Benachteiligung der MINT-Faecher an Schweizer Gymnasien Pages: 67 Language: DE |
Abstract 726.abstract Adobe PDF File 726.pdf Adobe Postscript File n/a |
| tr_724 |
Author:
Claudio Marforio, Aurélien Francillon, Srdjan Capkun
Title: Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems Technical Reports 724, ETH Zürich, System Security Group, 04 2010. Keywords: application collusion, covert channels, smartphone security, android security Pages: 16 Language: EN |
Abstract 724.abstract Adobe PDF File 724.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_723 |
Author:
Thai Son Hoang and Simon Hudon
Title: Developing Control Systems with Some Fragile Environment Technical Reports 723, ETH Zürich, Chair of Information Security, 04 2010. Keywords: Event-B, formal modelling, refinement, development strategy, system development Pages: 10 Language: EN |
Abstract 723.abstract Adobe PDF File 723.pdf Adobe Postscript File n/a |
| tr_722 |
Author:
Kyumars Sheykh Esmaili, Tahmineh Sanamrad, Peter M. Fischer and Nesime Tatbul
Title: Changing Flights in Mid-air: A Model for Safely Modifying Continuous Queries Technical Reports 722, ETH Zürich, Systems Group, Department of Computer Science, 06 2010. Keywords: Stream Processing, Continuous Query, Query Lifecycle, Query Modification Pages: 42 Language: DE |
Abstract 722.abstract Adobe PDF File 722.pdf Adobe Postscript File 722.ps |
| tr_721 |
Author:
Sebastian Martin, Peter Kaufmann, Mario Botsch, Eitan Grinspun, Markus Gross
Title: Unified Simulation of Elastic Rods, Shells and Solids: Implementation Notes Technical Reports 721, ETH Zürich, Institute for Visual Computing, 03 2010. Keywords: physically-based simulation, solids, shells, rods, plasticity, cutting Pages: 3 Language: EN |
Abstract 721.abstract Adobe PDF File 721.pdf Adobe Postscript File n/a |
| tr_720 |
Author:
Benjamin Schindler, Juergen Waser, Raphael Fuchs, Ronny Peikert
Title: Multiverse data-flow control Technical Reports 720, ETH Zürich, Computational Science, 02 2010. Keywords: dynamic data management, data-flow, time-varying data, visual knowledge discovery, graph-based data handling, visualization system design Pages: 19 Language: EN |
Abstract 720.abstract Adobe PDF File 720.pdf Adobe Postscript File n/a |
| tr_719 |
Author:
Philipp Unterbrunner, Gustavo Alonso, and Donald Kossmann
Title: E-Cast: Elastic Multicast Technical Reports 719, ETH Zürich, Systems Group, Department of Computer Science, 02 2010. Keywords: Partial Replication, Strong Consistency, Fault Tolerance, Multicast, Cloud Computing Pages: 16 Language: EN |
Abstract 719.abstract Adobe PDF File 719.pdf Adobe Postscript File 719.ps |
| Number | Description | Available Files |
| tr_718 |
Author:
Cas Cremers
Title: A distance hijacking attack on the CRCS distance bounding protocol Technical Reports 718, ETH Zürich, Chair of Information Security, 02 2010. Keywords: Distance bounding, distance hijacking, PKI Pages: 4 Language: EN |
Abstract 718.abstract Adobe PDF File 718.pdf Adobe Postscript File n/a |
| tr_717 |
Author:
Mohammad Seyed Alavi
Title: SCOOP in Practice Technical Reports 717, ETH Zürich, Department of Computer Science, 01 2010. Keywords: Pages: 15 Language: EN |
Abstract 717.abstract Adobe PDF File 717.pdf Adobe Postscript File n/a |
| tr_716 |
Author:
Alexander J. Summers and Peter Müller
Title: Freedom Before Commitment - Simple Flexible Initialisation for Non-Null Types Technical Reports 716, ETH Zürich, Group of Programming Methodology, 01 2010. Keywords: object initialisation non-null type system Pages: 42 Language: EN |
Abstract 716.abstract Adobe PDF File 716.pdf Adobe Postscript File n/a |
| tr_714 |
Author:
Andreas Kägi, Hermann Lehner, and Peter Müller
Title: A Formalization of JML in the Coq Proof System Technical Reports 714, ETH Zürich, Group of Programming Methodology, 12 2010. Keywords: Pages: 108 Language: EN |
Abstract 714.abstract Adobe PDF File 714.pdf Adobe Postscript File n/a |
| tr_713 |
Author:
Peter Müller and Joseph N. Ruskiewicz
Title: Using Debuggers to Understand Failed Verification Attempts Technical Reports 713, ETH Zürich, Informatik, 01 2010. Keywords: Failed Verification Counterexample Execution Pages: 15 Language: EN |
Abstract 713.abstract Adobe PDF File 713.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_712 |
Author:
Michela Pedroni, Manuel Oriol, Bertrand Myer
Title: The Prior Experience of Entering CS Students Technical Reports 712, ETH Zürich, Chair of Software Engineering, 01 2010. Keywords: Pages: 10 Language: EN |
Abstract 712.abstract Adobe PDF File 712.pdf Adobe Postscript File n/a |
| tr_711 |
Author:
Ioannis T. Kassios and Peter Müller
Title: Modular Specification and Verification of Delegation with SMT Solvers Technical Reports 711, ETH Zürich, , 12 2010. Keywords: Pages: 34 Language: EN |
Abstract 711.abstract Adobe PDF File 711.pdf Adobe Postscript File n/a |
| tr_710 |
Author:
Markus Dahinden
Title: Anleitung zur Erstellung von problembasierten Pruefungsfragen fuer den ICT-Unterricht Technical Reports 710, ETH Zürich, Informationstechnologie und Ausbildung, 12 2010. Keywords: Problembasierte Pruefungsfragen, Kompetenzorientierte Pruefungsfragen, Computer-basierte Pruefung, Online-Pruefung, Sioux Pages: 22 Language: DE |
Abstract 710.abstract Adobe PDF File 710.pdf Adobe Postscript File n/a |
| tr_705 |
Author:
Herbert Bruderer
Title: Konrad Zuse und die ETH Zuerich Technical Reports 705, ETH Zürich, Informationstechnologie und Ausbildung, 06 2010. Keywords: Z4, Ermeth, Rechenlocher M9/Z9, Museum fuer Kommunikation (Bern) Pages: 40 Language: DE |
Abstract 705.abstract Adobe PDF File 705.pdf Adobe Postscript File n/a |
| tr_703 |
Author:
Hans-Joachim Boeckenhauer, Dennis Komm, Rastislav Kralovic, Richard Kralovic
Title: On the advice complexity of the k-server problem Technical Reports 703, ETH Zürich, Department of Computer Science, Information Technology and Education, 12 2010. Keywords: Online algorithms, advice complexity, competitive ratio, k-server problem Pages: 14 Language: EN |
Abstract 703.abstract Adobe PDF File 703.pdf Adobe Postscript File n/a |
| Number | Description | Available Files |
| tr_702 |
Author:
Simone Frau and Mohammad Torabi Dashti
Title: Integrated Specification and Verification of Security Protocols and Policies Technical Reports 702, ETH Zürich, INFSEC, 12 2010. Keywords: Security Protocols, Security Policies, Decidability, Constraint Solving Pages: 15 Language: EN |
Abstract 702.abstract Adobe PDF File 702.pdf Adobe Postscript File n/a |
| tr_701 |
Author:
Mohammad Torabi Dashti
Title: Accountability in optimistic non-repudiation protocols Technical Reports 701, ETH Zürich, INFSEC, 12 2010. Keywords: Non-repudiation; Accountability; Trust Pages: 12 Language: EN |
Abstract 701.abstract Adobe PDF File 701.pdf Adobe Postscript File n/a |
| tr_700 |
Author:
Yann Disser, Matus Mihalak, Peter Widmayer
Title: Reconstruction of a polygon from angles without prior knowledge of the size Technical Reports 700, ETH Zürich, Institute of Theoretical Computer Science, 11 2010. Keywords: autonomous agents, simple robots, simple polygon, reconstruction, visibility graph, angles Pages: 3 Language: EN |
Abstract 700.abstract Adobe PDF File 700.pdf Adobe Postscript File n/a |
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
