BibTeX records: Sebastian Gabmeyer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Sebastian Gabmeyer

download as .bib file

@article{DBLP:journals/dt/XiongSASGKS21,
  author       = {Wenjie Xiong and
                  Andr{\'{e}} Schaller and
                  Nikolaos Athanasios Anagnostopoulos and
                  Muhammad Umair Saleem and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser and
                  Jakub Szefer},
  title        = {{DRAM} PUFs in Commodity Devices},
  journal      = {{IEEE} Des. Test},
  volume       = {38},
  number       = {3},
  pages        = {76--83},
  year         = {2021},
  url          = {https://doi.org/10.1109/MDAT.2021.3063370},
  doi          = {10.1109/MDAT.2021.3063370},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dt/XiongSASGKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mam/Anagnostopoulos19,
  author       = {Nikolaos Athanasios Anagnostopoulos and
                  Tolga Arul and
                  Markus Rosenstihl and
                  Andr{\'{e}} Schaller and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser},
  title        = {Attacking {SRAM} PUFs using very-low-temperature data remanence},
  journal      = {Microprocess. Microsystems},
  volume       = {71},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.micpro.2019.102864},
  doi          = {10.1016/J.MICPRO.2019.102864},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/Anagnostopoulos19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/GabmeyerKSGK19,
  author       = {Sebastian Gabmeyer and
                  Petra Kaufmann and
                  Martina Seidl and
                  Martin Gogolla and
                  Gerti Kappel},
  title        = {A feature-based classification of formal verification techniques for
                  software models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {473--498},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0591-z},
  doi          = {10.1007/S10270-017-0591-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GabmeyerKSGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tdsc/SchallerXASGSKS19,
  author       = {Andr{\'{e}} Schaller and
                  Wenjie Xiong and
                  Nikolaos Athanasios Anagnostopoulos and
                  Muhammad Umair Saleem and
                  Sebastian Gabmeyer and
                  Boris Skoric and
                  Stefan Katzenbeisser and
                  Jakub Szefer},
  title        = {Decay-Based {DRAM} PUFs in Commodity Devices},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {16},
  number       = {3},
  pages        = {462--475},
  year         = {2019},
  url          = {https://doi.org/10.1109/TDSC.2018.2822298},
  doi          = {10.1109/TDSC.2018.2822298},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/SchallerXASGSKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1902-04444,
  author       = {Andr{\'{e}} Schaller and
                  Wenjie Xiong and
                  Nikolaos Athanasios Anagnostopoulos and
                  Muhammad Umair Saleem and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser and
                  Jakub Szefer},
  title        = {Intrinsic Rowhammer PUFs: Leveraging the Rowhammer Effect for Improved
                  Security},
  journal      = {CoRR},
  volume       = {abs/1902.04444},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.04444},
  eprinttype    = {arXiv},
  eprint       = {1902.04444},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-04444.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cryptography/Anagnostopoulos18a,
  author       = {Nikolaos Athanasios Anagnostopoulos and
                  Tolga Arul and
                  Yufan Fan and
                  Christian Hatzfeld and
                  Andr{\'{e}} Schaller and
                  Wenjie Xiong and
                  Manishkumar Jain and
                  Muhammad Umair Saleem and
                  Jan Lotichius and
                  Sebastian Gabmeyer and
                  Jakub Szefer and
                  Stefan Katzenbeisser},
  title        = {Intrinsic Run-Time Row Hammer PUFs: Leveraging the Row Hammer Effect
                  for Run-Time Cryptography and Improved Security \({}^{\mbox{{\textdagger}}}\)},
  journal      = {Cryptogr.},
  volume       = {2},
  number       = {3},
  pages        = {13},
  year         = {2018},
  url          = {https://doi.org/10.3390/cryptography2030013},
  doi          = {10.3390/CRYPTOGRAPHY2030013},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cryptography/Anagnostopoulos18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/Anagnostopoulos18,
  author       = {Nikolaos Athanasios Anagnostopoulos and
                  Tolga Arul and
                  Markus Rosenstihl and
                  Andr{\'{e}} Schaller and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser},
  editor       = {Martin Novotn{\'{y}} and
                  Nikos Konofaos and
                  Amund Skavhaug},
  title        = {Low-Temperature Data Remanence Attacks Against Intrinsic {SRAM} PUFs},
  booktitle    = {21st Euromicro Conference on Digital System Design, {DSD} 2018, Prague,
                  Czech Republic, August 29-31, 2018},
  pages        = {581--585},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/DSD.2018.00102},
  doi          = {10.1109/DSD.2018.00102},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/Anagnostopoulos18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/host/SchallerXASG0S17,
  author       = {Andr{\'{e}} Schaller and
                  Wenjie Xiong and
                  Nikolaos Athanasios Anagnostopoulos and
                  Muhammad Umair Saleem and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser and
                  Jakub Szefer},
  title        = {Intrinsic Rowhammer PUFs: Leveraging the Rowhammer effect for improved
                  security},
  booktitle    = {2017 {IEEE} International Symposium on Hardware Oriented Security
                  and Trust, {HOST} 2017, McLean, VA, USA, May 1-5, 2017},
  pages        = {1--7},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/HST.2017.7951729},
  doi          = {10.1109/HST.2017.7951729},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/host/SchallerXASG0S17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wisec/KohnhauserBG017,
  author       = {Florian Kohnh{\"{a}}user and
                  Niklas B{\"{u}}scher and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser},
  editor       = {Guevara Noubir and
                  Mauro Conti and
                  Sneha Kumar Kasera},
  title        = {{SCAPI:} a scalable attestation protocol to detect software and physical
                  attacks},
  booktitle    = {Proceedings of the 10th {ACM} Conference on Security and Privacy in
                  Wireless and Mobile Networks, WiSec 2017, Boston, MA, USA, July 18-20,
                  2017},
  pages        = {75--86},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3098243.3098255},
  doi          = {10.1145/3098243.3098255},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/wisec/KohnhauserBG017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tap/2017,
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0},
  doi          = {10.1007/978-3-319-61467-0},
  isbn         = {978-3-319-61466-3},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/KohnhauserBG017,
  author       = {Florian Kohnh{\"{a}}user and
                  Niklas B{\"{u}}scher and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser},
  title        = {Scalable Attestation Resilient to Physical Attacks for Embedded Devices
                  in Mesh Networks},
  journal      = {CoRR},
  volume       = {abs/1701.08034},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.08034},
  eprinttype    = {arXiv},
  eprint       = {1701.08034},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KohnhauserBG017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ches/XiongSASG0S16,
  author       = {Wenjie Xiong and
                  Andr{\'{e}} Schaller and
                  Nikolaos A. Anagnostopoulos and
                  Muhammad Umair Saleem and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser and
                  Jakub Szefer},
  editor       = {Benedikt Gierlichs and
                  Axel Y. Poschmann},
  title        = {Run-Time Accessible {DRAM} PUFs in Commodity Devices},
  booktitle    = {Cryptographic Hardware and Embedded Systems - {CHES} 2016 - 18th International
                  Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9813},
  pages        = {432--453},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53140-2\_21},
  doi          = {10.1007/978-3-662-53140-2\_21},
  timestamp    = {Tue, 03 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/XiongSASG0S16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/GabmeyerS16,
  author       = {Sebastian Gabmeyer and
                  Martina Seidl},
  editor       = {Bernhard K. Aichernig and
                  Carlo A. Furia},
  title        = {Lightweight Symbolic Verification of Graph Transformation Systems
                  with Off-the-Shelf Hardware Model Checkers},
  booktitle    = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
                  Austria, July 5-7, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9762},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41135-4\_6},
  doi          = {10.1007/978-3-319-41135-4\_6},
  timestamp    = {Tue, 23 Jun 2020 17:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/GabmeyerS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/XiongSASG0S16,
  author       = {Wenjie Xiong and
                  Andr{\'{e}} Schaller and
                  Nikolaos A. Anagnostopoulos and
                  Muhammad Umair Saleem and
                  Sebastian Gabmeyer and
                  Stefan Katzenbeisser and
                  Jakub Szefer},
  title        = {Practical {DRAM} PUFs in Commodity Devices},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {253},
  year         = {2016},
  url          = {http://eprint.iacr.org/2016/253},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/XiongSASG0S16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/Anagnostopoulos16,
  author       = {Nikolaos A. Anagnostopoulos and
                  Stefan Katzenbeisser and
                  Markus Rosenstihl and
                  Andr{\'{e}} Schaller and
                  Sebastian Gabmeyer and
                  Tolga Arul},
  title        = {Low-temperature data remanence attacks against intrinsic {SRAM} PUFs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {769},
  year         = {2016},
  url          = {http://eprint.iacr.org/2016/769},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/Anagnostopoulos16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sle/BillGKS14,
  author       = {Robert Bill and
                  Sebastian Gabmeyer and
                  Petra Kaufmann and
                  Martina Seidl},
  editor       = {Beno{\^{\i}}t Combemale and
                  David J. Pearce and
                  Olivier Barais and
                  Jurgen J. Vinju},
  title        = {Model Checking of CTL-Extended {OCL} Specifications},
  booktitle    = {Software Language Engineering - 7th International Conference, {SLE}
                  2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8706},
  pages        = {221--240},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11245-9\_13},
  doi          = {10.1007/978-3-319-11245-9\_13},
  timestamp    = {Wed, 26 May 2021 08:40:05 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/BillGKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/GabmeyerBKS14,
  author       = {Sebastian Gabmeyer and
                  Robert Bill and
                  Petra Kaufmann and
                  Martina Seidl},
  editor       = {Moussa Amrani and
                  Eugene Syriani and
                  Manuel Wimmer},
  title        = {MocOCL: {A} Model Checker for CTL-Extended {OCL} Specifications},
  booktitle    = {Proceedings of the Third International Workshop on Verification of
                  Model Transformations co-located with Software Technologies: Applications
                  and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1325},
  pages        = {10--15},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1325/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/GabmeyerBKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/Gabmeyer14,
  author       = {Sebastian Gabmeyer},
  editor       = {Martina Seidl and
                  Nikolai Tillmann},
  title        = {Quality Assurance in {MBE} Back and Forth},
  booktitle    = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
                  UK, July 24-25, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8570},
  pages        = {78--81},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09099-3\_6},
  doi          = {10.1007/978-3-319-09099-3\_6},
  timestamp    = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/Gabmeyer14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/BillGKS13,
  author       = {Robert Bill and
                  Sebastian Gabmeyer and
                  Petra Kaufmann and
                  Martina Seidl},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {{OCL} meets {CTL:} Towards CTL-Extended {OCL} Model Checking},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {13--22},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/bill.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BillGKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/BroschGKS12,
  author       = {Petra Brosch and
                  Sebastian Gabmeyer and
                  Gerti Kappel and
                  Martina Seidl},
  title        = {On formalizing {EMF} modeling operations with graph transformations},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {37},
  number       = {4},
  pages        = {1--8},
  year         = {2012},
  url          = {https://doi.org/10.1145/2237796.2237810},
  doi          = {10.1145/2237796.2237810},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/BroschGKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Gabmeyer12,
  author       = {Sebastian Gabmeyer},
  editor       = {Michael Goedicke and
                  Tim Menzies and
                  Motoshi Saeki},
  title        = {Formal verification techniques for model transformations specified
                  by-demonstration},
  booktitle    = {{IEEE/ACM} International Conference on Automated Software Engineering,
                  ASE'12, Essen, Germany, September 3-7, 2012},
  pages        = {390--393},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2351676.2351756},
  doi          = {10.1145/2351676.2351756},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Gabmeyer12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tap/BroschEGKSTWW12,
  author       = {Petra Brosch and
                  Uwe Egly and
                  Sebastian Gabmeyer and
                  Gerti Kappel and
                  Martina Seidl and
                  Hans Tompits and
                  Magdalena Widl and
                  Manuel Wimmer},
  editor       = {Achim D. Brucker and
                  Jacques Julliand},
  title        = {Towards Scenario-Based Testing of {UML} Diagrams},
  booktitle    = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
                  Czech Republic, May 31 - June 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7305},
  pages        = {149--155},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30473-6\_12},
  doi          = {10.1007/978-3-642-30473-6\_12},
  timestamp    = {Tue, 23 Jun 2020 17:37:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BroschEGKSTWW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/BroschEGKSTWW11,
  author       = {Petra Brosch and
                  Uwe Egly and
                  Sebastian Gabmeyer and
                  Gerti Kappel and
                  Martina Seidl and
                  Hans Tompits and
                  Magdalena Widl and
                  Manuel Wimmer},
  editor       = {J{\"{o}}rg Kienzle},
  title        = {Towards Semantics-Aware Merge Support in Optimistic Model Versioning},
  booktitle    = {Models in Software Engineering - Workshops and Symposia at {MODELS}
                  2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7167},
  pages        = {246--256},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29645-1\_24},
  doi          = {10.1007/978-3-642-29645-1\_24},
  timestamp    = {Wed, 23 Feb 2022 12:58:05 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BroschEGKSTWW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.