Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2222 Publications
2017 | Conference Paper | LibreCat-ID: 47245
@inproceedings{Stransky_Acar_Nguyen_Wermke_Kim_Redmiles_Backes_Garfinkel_Mazurek_Fahl_2017, title={Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers}, booktitle={10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017}, publisher={USENIX Association}, author={Stransky, Christian and Acar, Yasemin and Nguyen, Duc Cuong and Wermke, Dominik and Kim, Doowon and Redmiles, Elissa M. and Backes, Michael and Garfinkel, Simson L. and Mazurek, Michelle L. and Fahl, Sascha}, editor={Fernandez, José M. and Payer, Mathias}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 47243
@inproceedings{Fischer_Böttinger_Xiao_Stransky_Acar_Backes_Fahl_2017, title={Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security}, DOI={10.1109/SP.2017.31}, booktitle={2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017}, publisher={IEEE Computer Society}, author={Fischer, Felix and Böttinger, Konstantin and Xiao, Huang and Stransky, Christian and Acar, Yasemin and Backes, Michael and Fahl, Sascha}, year={2017}, pages={121–136} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47250
@inproceedings{Nguyen_Wermke_Acar_Backes_Weir_Fahl_2017, title={A Stitch in Time: Supporting Android Developers in Writing Secure Code}, DOI={10.1145/3133956.3133977}, booktitle={Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security}, publisher={ACM}, author={Nguyen, Duc Cuong and Wermke, Dominik and Acar, Yasemin and Backes, Michael and Weir, Charles and Fahl, Sascha}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47248
@inproceedings{Acar_Stransky_Wermke_Weir_Mazurek_Fahl_2017, title={Developers Need Support, Too: A Survey of Security Advice for Software Developers}, DOI={10.1109/secdev.2017.17}, booktitle={2017 IEEE Cybersecurity Development (SecDev)}, publisher={IEEE}, author={Acar, Yasemin and Stransky, Christian and Wermke, Dominik and Weir, Charles and Mazurek, Michelle L. and Fahl, Sascha}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47242
@inproceedings{Acar_Fahl_Mazurek_2017, title={You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users}, DOI={10.1109/secdev.2016.013}, booktitle={2016 IEEE Cybersecurity Development (SecDev)}, publisher={IEEE}, author={Acar, Yasemin and Fahl, Sascha and Mazurek, Michelle L.}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47246
@inproceedings{Acar_Backes_Fahl_Garfinkel_Kim_Mazurek_Stransky_2017, title={Comparing the Usability of Cryptographic APIs}, DOI={10.1109/sp.2017.52}, booktitle={2017 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Fahl, Sascha and Garfinkel, Simson and Kim, Doowon and Mazurek, Michelle L. and Stransky, Christian}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47244
@inproceedings{Acar_Stransky_Wermke_Mazurek_Fahl_2017, title={Security Developer Studies with GitHub Users: Exploring a Convenience Sample}, booktitle={Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017}, publisher={USENIX Association}, author={Acar, Yasemin and Stransky, Christian and Wermke, Dominik and Mazurek, Michelle L. and Fahl, Sascha}, year={2017}, pages={81–95} }
LibreCat
2017 | Report | LibreCat-ID: 47873
@book{Redmiles_Acar_Fahl_Mazurek_2017, title={A Summary of Survey Methodology Best Practices for Security and Privacy Researchers}, DOI={10.13016/M22K2W}, publisher={University of Maryland Computer Science Department}, author={Redmiles, Elissa M. and Acar, Yasemin and Fahl, Sascha and Mazurek, Michelle L.}, year={2017} }
LibreCat
| DOI
2017 | Book | LibreCat-ID: 54762
@book{Varga_2017, place={Berlin, New York}, title={Verbstellungsmuster im Altfranzösischen. Ein Beitrag zur historischen Syntaxforschung aus diskurstraditioneller Perspektive.}, DOI={10.1515/9783110536591}, publisher={De Gruyter}, author={Varga, Eva}, year={2017} }
LibreCat
| DOI
2017 | Book Review | LibreCat-ID: 18727 | 
@article{Peckhaus_2017, title={Morscher, Edgar, Bernard Bolzanos Lehre von Grund und Folge. Eine axiomatische Rekonstruktion, Academia Verlag: Sankt Augustin 2016 (Beiträge zur Bolzano-Forschung; 37)}, number={Zbl. 1372.01004}, journal={zbMATH Open, Zbl. 1372.01004}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18728 |
@article{Peckhaus_2017, title={Tho, Tzuchien, Vis vim vi: Declinations of Force in Leibniz’s Dynamics, Springer: Cham 2017 (Studies in History and Philosophy of Science; 46)}, number={Zbl. 1379.01004}, journal={zbMATH Open, Zbl. 1379.01004}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18725 |
@article{Peckhaus_2017, title={Centrone, Stefania, Studien zu Bolzano, Academia: Sankt Augustin 2015 (Beiträge zur Bolzano-Forschung; 26)}, number={Zbl. 1372.01002}, journal={zbMATH Open, Zbl. 1372.01002}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18726 |
@article{Peckhaus_2017, title={Casari, Ettore, Bolzano’s Logical System, Oxford University Press: Oxford 2016 (Oxford Logic Guides; 54)}, number={Zbl. 1370.01001}, journal={zbMATH Open, Zbl. 1370.01001}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 53774
@article{Berendsen_Kang_van de Rest_Jankovic_Kampman_Kiefte-de Jong_Franco_Ikram_Pikhart_Nilsson_et al._2017, title={Association of Adherence to a Healthy Diet with Cognitive Decline in European and American Older Adults: A Meta-Analysis within the CHANCES Consortium}, volume={43}, DOI={10.1159/000464269}, number={3–4}, journal={Dementia and Geriatric Cognitive Disorders}, publisher={S. Karger AG}, author={Berendsen, Agnes A.M. and Kang, Jae H. and van de Rest, Ondine and Jankovic, Nicole and Kampman, Ellen and Kiefte-de Jong, Jessica C. and Franco, Oscar H. and Ikram, M. Arfan and Pikhart, Hynek and Nilsson, Lena Maria and et al.}, year={2017}, pages={215–227} }
LibreCat
| DOI
2017 | Book Review | LibreCat-ID: 17815
@article{Peckhaus_2017, title={William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933, in collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891–1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg 2013}, volume={105}, journal={Studia Logica}, author={Peckhaus, Volker}, year={2017}, pages={669–671} }
LibreCat
2017 | Book Review | LibreCat-ID: 18914
@article{Peckhaus_2017, title={de Rouilhan, Philippe, “Tarski’s Recantation: Reading the Postscript to ‘Wahrheitsbegriff’”, in: F.F. Abeles and M.E. Fuller (eds.), Modern Logic 1850–1950, East and West, Birhäuser/Springer: Cham 2016 (Stud. Univ. Log.), 119–134}, number={MR3560315}, journal={Mathematical Reviews, MR3560315}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18913
@article{Peckhaus_2017, title={Chemla, Karine, “Historiography and History of Mathematical Proof: A Research Programme”, in: K. Chemla (ed.), The History of Mathematical Proof in Ancient Traditions, Cambridge University Press: Cambridge 2015, 1–68}, number={MR3497275}, journal={Mathematical Reviews, MR3497275}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18916
@article{Peckhaus_2017, title={Caminada, Martin W.A., Dvořák, Wolfgang, und Vesic, Srdjan, “Preferred Semantics as Socratic Discussion”, J. Logic Comput. 26 (2016), no. 4, 1257–1292}, number={MR3566658}, journal={Mathematical Reviews, MR3566658}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18724 |
@article{Peckhaus_2017, title={Lenzen, Wolfgang, “Leibniz’s Logic and the ‘Cube of Opposition’”, Logica Universalis 10 (2016), 171–189}, number={Zbl. 1360.03037}, journal={zbMATH Open, Zbl. 1360.03037}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 18918
@article{Peckhaus_2017, title={Rosado Haddock, Guillermo E., “The Interplay between Logic, Mathematics and Philosophy”, South African Journal of Logic 2 (2016), 41–66}, number={MR3653828}, journal={Mathematical Reviews, MR3653828}, author={Peckhaus, Volker}, year={2017} }
LibreCat
| Download (ext.)