Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikationen

Publikationen pro Jahr 1983 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2018 2019 2020 2022

• 924 Beitrag in einem Konferenzband
• 187 Artikel
• 132 Sonstiger Bericht
• 92 Bericht für Auftraggeber
• 330 Mehr
  • 77 Software
  • 39 Beitrag in Buch/Bericht
  • 35 Masterarbeit
  • 34 Dissertation
  • 27 (Altdaten) Vortrag oder Präsentation
  • 21 Paper
  • 18 Buch (Autorenwerk)
  • 18 Diplomarbeit
  • 11 Webseite / Webpublikation
  • 9 Poster
  • 9 Sonstiger Beitrag
  • 6 Buch (Herausgeberwerk)
  • 6 Patent
  • 6 Working paper
  • 4 Abstract
  • 4 Konferenzartikel
  • 2 Editorial
  • 1 Datensätze / Datenbank
  • 1 Bachelorarbeit
  • 1 Habilitation
  • 1 Discussion paper

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2016

  Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

  Bloem, R., Könighofer, R., Pill, I. H. & Röck, F., 2016, S. 17-24. 8 S.

  Publikation: Konferenzbeitrag › Paper

  • Temporal logic 100%
  • Specifications 54%
  • Testing 29%

• The Austrian eID ecosystem in the public cloud: How to obtain privacy while preserving practicality

  Zwattendorfer, B. & Slamanig, D., 2016, in : Journal of Information Security and Applications. 27-28

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

• The first reactive synthesis competition (SYNTCOMP 2014)

  Jacobs, S., Bloem, R., Brenguier, R., Ehlers, R., Hell, T., Könighofer, R., Pérez, G. A., Raskin, J. F., Ryzhyk, L., Sankur, O., Seidl, M., Tentrup, L. & Walker, A., 9 Apr 2016, in : International journal on software tools for technology transfer. S. 1-24 24 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

  • Specifications 100%
  • Controllers 84%

• The Next 700 Impossibility Results in Time-Varying Graphs

  Braud-Santoni, N., Dubois, S., Kaaouachi, M-H. & Petit, F., Jan 2016, in : International Journal of Networking and Computing. S. 27-41 1.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

  Open Access

  Datei

• The second reactive synthesis competition (SYNTCOMP 2015)

  Jacobs, S., Bloem, R., Brenguier, R., Pérez, G. A., Raskin, J. F., Ryzhyk, L., Sankur, O., Seidl, M., Tentrup, L., Walker, A. & Könighofer, R., 2 Feb 2016, in : Electronic Proceedings in Theoretical Computer Science. 202, S. 27-57 31 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

• Tight Cutoffs for Guarded Systems with Fairness

  Khalimov, A., Jacobs, S. & Außerlechner, S., 2016, International Conference on Verification, Model Checking, and Abstract Interpretation. ., S. 1-20

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Towards a Personal Security Device

  Rath, C., Niedermair, T. & Zefferer, T., 2016, Security and Trust Management. Springer, Band 9871 LNCS. S. 1-16 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9871 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Towards Authenticity and Privacy Preserving Accountable Workflows

  Derler, D., Hanser, C., Pöhls, H. C. & Slamanig, D., 1 Jul 2016, Privacy and Identity Management. Time for a Revolution?. AICT Aufl. Springer Verlag, Band 476.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Towards Privacy-preserving Attribute Aggregation in Federated eID Systems

  Priesnitz Filho, W., Ribeiro, C. & Zefferer, T., 2016, CAiSE Forum 2016: Proceedings of the CAiSE'16 Forum, at the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016). CEUR-WS.org, S. 97-104 (CEUR Workshop Proceedings; Band 1612).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Towards Secure Collaboration in Federated Cloud Environments

  Suzic, B. & Reiter, A., 2016, 2016 11th International Conference on Availability, Reliability and Security (ARES). Institute of Electrical and Electronics Engineers, S. 750-759 10 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

  • Public administration 100%
  • Security of data 70%
  • Data privacy 38%
  • Electronic data interchange 37%
  • Consolidation 36%

• Towards Secure Integration and Interoperability in Heterogeneous Environments

  Suzic, B., Sep 2016, 53 S.

  Publikation: Andere Beiträge › Sonstiger Beitrag

  Open Access

  Datei

• Usable Privacy-aware Logging for Unstructured Log Entries

  Rath, C., 31 Aug 2016.

  Publikation: Konferenzbeitrag › Paper

• Usable Privacy-aware Logging for Unstructured Log Entries

  Rath, C., 31 Aug 2016, Availability, Reliability and Security (ARES 2016). CPS, IEEE Xplore, 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• User-centered Security Management of API-based Data Integration Workflows

  Suzic, B., 2016, 2016 IEEE/IFIP Network Operations and Management Symposium (NOMS). Institute of Electrical and Electronics Engineers, S. 1233-1238 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

  • Data integration 100%
  • Application programming interfaces (API) 83%
  • Outsourcing 20%
  • Industry 15%
  • Network protocols 11%

• What could possibly go wrong with <insert x86 instruction here>?

  Maurice, C. L. N. & Lipp, M., 2016.

  Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation

  • Side channel attack 100%
  • Computer hardware 71%
  • Data storage equipment 49%
  • Virtual addresses 32%
  • Physical addresses 31%
• 2015

  A browser-based JavaScript Solution for easy Smart Card-Access to European eIDs

  Lenz, T., Zwattendorfer, B. & Hutzler, A., 2015, (Angenommen/In Druck) Central and Eastern European eGov Days. .

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• A General Framework for Redactable Signatures and New Constructions

  Derler, D., Pöhls, H., Samelin, K. & Slamanig, D., 2015, 18th Annual International Conference on Information Security and Cryptology, ICISC 2015, November 25-27, Seoul, Korea.. LNCS Aufl. Springer Verlag, Band 9558 .

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• A Generic Framework for Impossibility Results in Time-Varying Graphs

  Braud-Santoni, N., Dubois, S., Kaaouachi, M-H. & Petit, F., 2015, IEEE International Symposium on Parallel & Distributed Processing, Workshops. IEEE Conference Publishing, S. 0-0

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• A Modular and Flexible Attribute Mapping Service to Meet National Requirements in Cross-Border eID Federations

  Lenz, T., 2015, 13th International Conference on e-Society 2015. ., S. 207-214

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• A modular and flexible identity management architecture for national eID solutions

  Lenz, T. & Zwattendorfer, B., 2015, International Conference on Web Information Systems and Technologies. ., S. 321-331

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Analysis of SHA-512/224 and SHA-512/256

  Dobraunig, C. E., Eichlseder, M. & Mendel, F., 2015, Advances in Cryptology - ASIACRYPT 2015. Springer, Band 9453. S. 612-630 (LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• A New Approach To Efficient Revocable Attribute-Based Anonymous Credentials

  Derler, D., Hanser, C. & Slamanig, D., 2015, Cryptography and Coding - IMACC 2015 - 15th IMA International Conference on Cryptography and Coding. LNCS Aufl. Springer Verlag, Band 9496 .

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• ARCHISTAR: Towards Secure and Robust Cloud Based Data Sharing

  Lorünser, T., Happe, A. & Slamanig, D., 2015, IEEE 7th International Conference on Cloud Computing Technology and Science, CloudCom 2015, Vancouver, 30.11-03.12 2015. Institute of Electrical and Electronics Engineers

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

  Bloem, R. P., Chatterjee, K., Jacobs, S. & Könighofer, R., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, Band 9035. S. 517-532 (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Attribute-based Encryption goes X.509

  Reimair, F. & Feichtner, J., 2015, IEEE International Conference on e-Business Engineering (ICEBE). Peking, S. 393-400

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Austrian Mobile Signing

  Lipp, P. & Leitold, H., 25 Jun 2015.

  Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation

• Blank Digital Signatures: Optimization and Practical Experiences

  Derler, D., Hanser, C. & Slamanig, D., 2015, Privacy and Identity Management for the Future Internet in the Age of Globalisation. ., Band 457. S. 1-15 (IFIP AICT).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches

  Gruss, D., Spreitzer, R. & Mangard, S., 2015, 24th USENIX Security Symposium, Washington, D.C., USA, August 12-14, 2015. USENIX Association, S. 897-912

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

  • Linux 100%
  • User interfaces 42%
  • Program processors 41%
  • Entropy 41%
  • Information systems 39%

• Case Study: Automatic Test Case Generation for a Secure Cache Implementation

  Bloem, R. P., Hein, D., Röck, F. & Schumi, R. A., 2015, (Angenommen/In Druck) International Conference on Tests And Proofs. .

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Challenges emerging from future cloud application scenarios

  Jeferry, K., Kousiouris, G., Kyriazis, D., Altmann, J., Ciuffoletti, A., Maglogiannis, I., Nesi, P., Suzic, B. & Zhao, Z., 2015, Procedia Computer Science: 1st International Conference on Cloud Forward: From Distributed to Complete Computing. Elsevier B.V., Band 68. S. 227 - 237

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

  • Cloud computing 100%
  • Distributed computer systems 39%
  • Interoperability 35%

• Cloud Security and Privacy by Design

  Lorünser, T., Länger, T. & Slamanig, D., 2015, 6th International Conference on E-Democracy (E-Democracy 2015). CCIS Aufl. Springer Verlag, Band 570 . S. 202-206

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Concept for a Security Aware Automatic Fare Collection System Using HF/UHF Dual Band RFID Transponders

  Zöscher, L., Grosinger, J., Spreitzer, R. C., Muehlmann, U., Groß, H. & Bösch, W., 2015, 2015 45th European Solid State Device Reserach Conference. ., S. 194-197

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Cooperative Reactive Synthesis

  Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, Band 9364. S. 394-410 (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Cryptanalysis of Ascon

  Dobraunig, C. E., Eichlseder, M., Mendel, F. & Schläffer, M., 2015, Topics in Cryptology - CT-RSA 2015. Springer, (LNCS; Band 9048).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Decidability of Parameterized Verification

  Khalimov, A., Bloem, R., Veith, H., Widder, J., Konnov, I., Rubin, S. & Jacobs, S., 2015, 1 Aufl. .

  Publikation: Buch/Bericht/Konferenzband › Buch (Autorenwerk)

• Demiurge 1.2.0: A SAT-Based Synthesis Tool

  Könighofer, R. & Seidl, M., 2015, .

  Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

  Open Access

  Datei

• Design Strategies for a Privacy-Friendly Austrian eID System in the Public Cloud

  Zwattendorfer, B. & Slamanig, D., 1 Dez 2015, in : Computers & Security.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

• e-ID in the Cloud with SCIM

  Suzic, B., 2015, Zentrum für sichere Informationstechnologie - Austria. 41 S.

  Publikation: Buch/Bericht/Konferenzband › Bericht für Auftraggeber

  Datei

• Enabling Secure Communication Over Existing Peer-to-Peer Frameworks

  Reiter, A., 2015, (Angenommen/In Druck) 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP2015). .

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Encryption-based Second Authentication Factor Solutions for Qualified Server-side Signature Creation

  Rath, C., Roth, S., Bratko, H. & Zefferer, T., 2015, Electronic Government and the Information Systems Perspective. Springer, Band 9265. S. 71-85 (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Forgery Attacks on round-reduced ICEPOLE-128

  Dobraunig, C. E., Eichlseder, M. & Mendel, F., 2015, Selected Areas in Cryptography. Springer, S. 479-492 (LNCS; Band 9566).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Fortgeschrittene PDF Signaturen mit PAdES

  Fitzek, A. G., Maierhofer, C., Tauber, A. & Zwattendorfer, B., 2015, in : eGovernment review. 15, S. 16-17

  Publikation: Beitrag in einer Fachzeitschrift › Artikel

  Open Access

  Datei

• Hardware-Security Technologies for Industrial IoT: TrustZone and Security Controller

  Lesjak, C., Hein, D. & Winter, J., 2015, (Angenommen/In Druck) Industrial Electronics Society, IECON 2015 41st Annual Conference of the IEEE. .

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• Heuristic Tool for Linear Cryptanalysis with Applications to CAESAR Candidates

  Dobraunig, C. E., Eichlseder, M. & Mendel, F., 2015, Advances in Cryptology - ASIACRYPT 2015. Springer, (LNCS; Band 9453).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Higher-Order Cryptanalysis of LowMC

  Dobraunig, C. E., Eichlseder, M. & Mendel, F., 2015, Information Security and Cryptology - ICISC 2015. Springer, S. 87-101 (LNCS; Band 9558).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

• IAIK ECCelerate SDK 3.0

  Hanser, C. & Ramacher, S., 2015

  Publikation: Nonprint-Formen › Software

• IAIK ECCelerate SDK 3.01

  Hanser, C. & Ramacher, S., 2015

  Publikation: Nonprint-Formen › Software

• In Certificates We Trust - Revisited

  Reimair, F., Teufl, P. & Prünster, B., 2015, Proceedings of the 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications. ., S. 702-709

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband

  Open Access

  Datei

• Java Privacy Guard - The OpenPGP Message Format and an Implementation in Java

  More, S. J., 2015

  Publikation: Studienabschlussarbeit › Bachelorarbeit

  • Internet 100%
  • Cryptography 81%
  • Electronic document identification systems 59%
  • Communication 24%

• Leveraging the Adoption of Mobile eID and e-Signature Solutions in Europe

  Zefferer, T. & Teufl, P., 2015, Electronic Government and the Information Systems Perspective. Springer, S. 86-100

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband