Items where Year is 2008

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: A | B | C | D | G | H | J | K | M | N | S | T | V | W
Number of items: 55.

A

Andrei, Mihai and Berre, Arne-Jørgen and Costa, Luis and Duchesne, Philippe and Fitzner, Daniel and Grcar, Miha and Hoffmann, Jörg and Klien, Eva and Langlois, Joel and Limyr, Andreas and Maué, Patrick and Schade, Sven and Steinmetz, Nathalie and Tertre, Francois and Vasiliu, Laurentiu and Zaharia, Raluca and Zastavni, Nicolas
(2008) SWING: An Integrated Environment for Geospatial Semantic Web Services.
In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings.

B

Backes, Michael and Berg, Matthias and Unruh, Dominique
(2008) A Formal Language for Cryptographic Pseudocode.
In: LPAR 2008.

Backes, Michael and Dürmuth, Markus and Hofheinz, Dennis and Küsters, Ralf
(2008) Conditional Reactive Simulatability.
International Journal of Information Security, 7 (2). pp. 155-169.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2008) Compromising Reflections or How to Read LCD Monitors Around the Corner.
In: IEEE Symposium on Security and Privacy, Proceedings of SSP'08.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2008) Gespiegelt / Verräterische Reflexionen: Wie Brillengläser Geheimnisse verraten.
Heise Verlag, Hannover
.

Backes, Michael and Dürmuth, Markus and Unruh, Dominique
(2008) OAEP is Secure Under Key-dependent Messages.
In: ASIACRYPT 2008.

Backes, Michael and Hamerlik, Lech Marek and Linari, Alessandro and Maffei, Matteo and Tryfonopoulos, Christos and Weikum, Gerhard
(2008) Brief Announcement: Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays.
In: Proceedings of 27th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC).
Conference: PODC ACM Symposium on Principles of Distributed Computing

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2008) Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus.
In: Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Köpf, Boris
(2008) Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks.
In: Proceedings of 13th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim
(2008) CASPA: Causality-based Abstraction for Security Protocol Analysis.
In: Proceedings of 20th International Conference on Computer Aided Verification (CAV).
Conference: CAV Computer Aided Verification

Backes, Michael and Maffei, Matteo and Hriţcu, Cătălin
(2008) Type-checking zero-knowledge.
In: Proceedings of the 15th ACM conference on Computer and communications security.
Conference: CCS ACM Conference on Computer and Communications Security

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2008) Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
In: IEEE Symposium on Security and Privacy, Proceedings of SSP'08.
Conference: SP IEEE Symposium on Security and Privacy

Backes, Michael and Pfitzmann, Birgit
(2008) Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.
International Journal of Information Security, 7 (1). pp. 33-54.

Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre
(2008) Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.
Journal of Computer Security (JCS).

Backes, Michael and Unruh, Dominique
(2008) Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.
In: 21st IEEE Computer Security Foundations Symposium, CSF 2008.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Unruh, Dominique
(2008) Limits of Constructive Security Proofs.
In: ASIACRYPT 2008.

Baumann, Christoph
(2008) Formal Specification of the x87 Floating-Point Instruction Set.
Diploma thesis, UNSPECIFIED.

Bettenburg, Nicolas and Just, Sascha and Schröter, Adrian and Weiss, Cathrin and Premraj, Rahul and Zimmermann, Thomas
(2008) What makes a good bug report?
In: Foundations of Software Engineering.

Bohli, Jens-Matthias and Sorge, Christoph
(2008) Key-Substitution-Angriffe und das Signaturgesetz.
Datenschutz und Datensicherheit, 32 (6). pp. 388-392.

Born, Matthias and Hoffmann, Jörg and Kaczmarek, Tomasz and Kowalkiewicz, Marek and Markovic, Ivan and Scicluna, James and Weber, Ingo and Zhou, Xuan
(2008) Semantic Annotation and Composition of Business Processes with Maestro.
In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings.

Bornträger, Holger
(2008) MD5 Collisions on Multimedia Files.
Bachelors thesis, UNSPECIFIED.

C

Cheverst, Keith and Schöning, Johannes and Krüger, Antonio and Rohs, Michael
(2008) Photomap: Snap, Grab and Walk away with a "You Are Here" Map.
In: Mobile Interaction with the Real World 2008, MIRW 2008, Mobile HCI Workshop, Amsterdam, The Netherlands, September 2, 2008.

Ciobataru, Oana
(2008) Efficient Long-term Secure Universally Composable Commitments.
Masters thesis, Saarland University.

D

Didyk, Piotr and Mantiuk, Rafal and Hein, Matthias and Seidel, Hans-Peter
(2008) Enhancement of Bright Video Features for HDR Displays.
Comput. Graph. Forum, 27 (4). 1265–1274.

G

Giffhorn, Dennis and Hammer, Christian
(2008) Precise Analysis of Java Programs using JOANA (Tool Demonstration).
In: Proc. 8th IEEE International Working Conference on Source Code Analysis and Manipulation.

Gliet, Jana and Krüger, Antonio and Klemm, Otto and Schöning, Johannes
(2008) Image geo-mashups: the example of an augmented reality weather camera.
In: Proceedings of the working conference on Advanced Visual Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008.

Governatori, Guido and Hoffmann, Jörg and Sadiq, Shazia Wasim and Weber, Ingo
(2008) Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers.

H

Hammer, Christian and Dolby, Julian and Vaziri, Mandana and Tip, Frank
(2008) Dynamic detection of atomic-set-serializability violations.
In: ICSE '08: Proceedings of the 30th international conference on Software engineering.

Hammer, Christian and Schaade, Rüdiger and Snelting, Gregor
(2008) Static path conditions for Java.
In: UNSPECIFIED.

Hammer, Christian and Snelting, Gregor
(2008) Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs.
Technical Report. UNSPECIFIED.
(Unpublished)

Helmert, Malte and Haslum, Patrik and Hoffmann, Jörg
(2008) Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008.

Hoffmann, Jörg
(2008) Towards Efficient Belief Update for Planning-Based Web Service Composition.
In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings.

Hoffmann, Jörg and Weber, Ingo and Scicluna, James and Kaczmarek, Tomasz and Ankolekar, Anupriya
(2008) Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.
In: Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA.

Hofheinz, Dennis and Unruh, Dominique
(2008) Towards Key-Dependent Message Security in the Standard Model.
In: EUROCRYPT 2008.
Conference: EuroCrypt International Conference on the Theory and Application of Cryptographic Techniques

J

Just, Sascha and Premraj, Rahul and Zimmermann, Thomas
(2008) Towards the next generation of bug tracking systems.
In: In VL/HCC '08: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing.

K

Kritzler, Mareike and Jabs, Stephanie and Kegel, Philipp and Krüger, Antonio
(2008) Indoor tracking of laboratory mice via an rfid-tracking framework.
In: Proceedings of the ACM International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments, MELT 2008, San Francisco, California, USA, September 19, 2008.

Kuflik, Tsvi and Berkovsky, Shlomo and Heckmann, Dominik and Krüger, Antonio
(2008) UbiqUM 2008: theories and applications of ubiquitous user modeling.
In: Proceedings of the 13th International Conference on Intelligent User Interfaces, IUI 2008, Gran Canaria, Canary Islands, Spain, January 13-16, 2008.

Kupferschmid, Sebastian and Hoffmann, Jörg and Larsen, Kim Guldstrand
(2008) Fast Directed Model Checking Via Russian Doll Abstraction.
In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed.

M

Maier, Markus and von Luxburg, Ulrike and Hein, Matthias
(2008) Influence of graph construction on graph-based clustering measures.
In: Advances in Neural Information Processing Systems 21, Proceedings of the Twenty-Second Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 8-11, 2008.

Müller, Jörg and Jentsch, Marc and Kray, Christian and Krüger, Antonio
(2008) Exploring factors that influence the combined use of mobile devices and public displays for pedestrian navigation.
In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008.

N

Nesbigall, Stefan
(2008) Quantenbasierte Koordination von Multiagentensystemen.
Masters thesis, Saarland University.

S

Schöning, Johannes and Hecht, Brent J. and Raubal, Martin and Krüger, Antonio and Marsh, Meredith and Rohs, Michael
(2008) Improving interaction with virtual globes through spatial thinking: helping users ask "why?".
In: Proceedings of the 13th International Conference on Intelligent User Interfaces, IUI 2008, Gran Canaria, Canary Islands, Spain, January 13-16, 2008.

Schöning, Johannes and Rohs, Michael and Krüger, Antonio
(2008) Mobile Interaction with the real world.
In: Mobile Interaction with the Real World 2008, MIRW 2008, Mobile HCI Workshop, Amsterdam, The Netherlands, September 2, 2008.

Schöning, Johannes and Rohs, Michael and Krüger, Antonio and Stasch, Christoph
(2008) Improving the Communication of Spatial Information in Crisis Response by Combining Paper Maps and Mobile Devices.
In: Mobile Response, Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers.

Sirbu, Adina and Hoffmann, Jörg
(2008) Towards Scalable Web Service Composition with Partial Matches.
In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China.

Smaus, Jan-Georg and Hoffmann, Jörg
(2008) Relaxation Refinement: A New Method to Generate Heuristic Functions.
In: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers.

Sorge, Christoph and Westhoff, Dirk
(2008) eIDs und Identitätsmanagement.
Datenschutz und Datensicherheit, 32 (5). pp. 337-341.

Steinicke, Frank and Mensmann, Jörg and Hinrichs, Klaus H. and de Buhr, Jan and Rothaus, Kai and Krüger, Antonio
(2008) Augmenting 3D City Models with Visualization of Real-Time Meteorological Phenomena.
In: GRAPP 2008, Proceedings of the Third International Conference on Computer Graphics Theory and Applications, Funchal, Madeira, Portugal, January 22-25, 2008.

Steinicke, Frank and Mensmann, Jörg and Rothaus, Kai and de Buhr, Jan and Krüger, Antonio and Hinrichs, Klaus H.
(2008) Integrating Current Weather Effects into Urban Visualization.
In: Computer Vision and Computer Graphics. Theory and Applications - International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers.

Steinke, Florian and Hein, Matthias
(2008) Non-parametric Regression Between Manifolds.
In: Advances in Neural Information Processing Systems 21, Proceedings of the Twenty-Second Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 8-11, 2008.

Steinke, Florian and Hein, Matthias and Peters, Jan and Schölkopf, Bernhard
(2008) Manifold-valued Thin-Plate Splines with Applications in Computer Graphics.
Comput. Graph. Forum, 27 (2). 437–448.

T

Tatti, Nikolaj and Vreeken, Jilles
(2008) Finding Good Itemsets by Packing Data.
In: Proceedings of the IEEE International Conference on Data Mining (ICDM).
Conference: ICDM IEEE International Conference on Data Mining

Tippenhauer, Nils Ole and \vCapku, Srdjan
(2008) UWB-based Secure Ranging and Localization.
Technical Report. UNSPECIFIED.

V

Vreeken, Jilles and Siebes, A.
(2008) Filling in the Blanks - Krimp Minimisation for Missing Data.
In: Proceedings of the IEEE International Conference on Data Mining (ICDM).

W

Weber, Ingo and Hoffmann, Jörg and Mendling, Jan
(2008) Beyond Soundness: On the Semantic Consistency of Executable Process Models.
In: ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland.

This list was generated on Wed Nov 20 17:00:24 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.