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.
2209 Publications
2017 | Conference Paper | LibreCat-ID: 47245
Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers
C. Stransky, Y. Acar, D.C. Nguyen, D. Wermke, D. Kim, E.M. Redmiles, M. Backes, S.L. Garfinkel, M.L. Mazurek, S. Fahl, in: J.M. Fernandez, M. Payer (Eds.), 10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017, USENIX Association, 2017.
LibreCat
C. Stransky, Y. Acar, D.C. Nguyen, D. Wermke, D. Kim, E.M. Redmiles, M. Backes, S.L. Garfinkel, M.L. Mazurek, S. Fahl, in: J.M. Fernandez, M. Payer (Eds.), 10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017, USENIX Association, 2017.
2017 | Conference Paper | LibreCat-ID: 47243
Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security
F. Fischer, K. Böttinger, H. Xiao, C. Stransky, Y. Acar, M. Backes, S. Fahl, in: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, IEEE Computer Society, 2017, pp. 121–136.
LibreCat
| DOI
F. Fischer, K. Böttinger, H. Xiao, C. Stransky, Y. Acar, M. Backes, S. Fahl, in: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, IEEE Computer Society, 2017, pp. 121–136.
2017 | Conference Paper | LibreCat-ID: 47250
A Stitch in Time: Supporting Android Developers in Writing Secure Code
D.C. Nguyen, D. Wermke, Y. Acar, M. Backes, C. Weir, S. Fahl, in: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2017.
LibreCat
| DOI
D.C. Nguyen, D. Wermke, Y. Acar, M. Backes, C. Weir, S. Fahl, in: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2017.
2017 | Conference Paper | LibreCat-ID: 47248
Developers Need Support, Too: A Survey of Security Advice for Software Developers
Y. Acar, C. Stransky, D. Wermke, C. Weir, M.L. Mazurek, S. Fahl, in: 2017 IEEE Cybersecurity Development (SecDev), IEEE, 2017.
LibreCat
| DOI
Y. Acar, C. Stransky, D. Wermke, C. Weir, M.L. Mazurek, S. Fahl, in: 2017 IEEE Cybersecurity Development (SecDev), IEEE, 2017.
2017 | Conference Paper | LibreCat-ID: 47242
You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users
Y. Acar, S. Fahl, M.L. Mazurek, in: 2016 IEEE Cybersecurity Development (SecDev), IEEE, 2017.
LibreCat
| DOI
Y. Acar, S. Fahl, M.L. Mazurek, in: 2016 IEEE Cybersecurity Development (SecDev), IEEE, 2017.
2017 | Conference Paper | LibreCat-ID: 47246
Comparing the Usability of Cryptographic APIs
Y. Acar, M. Backes, S. Fahl, S. Garfinkel, D. Kim, M.L. Mazurek, C. Stransky, in: 2017 IEEE Symposium on Security and Privacy (SP), IEEE, 2017.
LibreCat
| DOI
Y. Acar, M. Backes, S. Fahl, S. Garfinkel, D. Kim, M.L. Mazurek, C. Stransky, in: 2017 IEEE Symposium on Security and Privacy (SP), IEEE, 2017.
2017 | Conference Paper | LibreCat-ID: 47244
Security Developer Studies with GitHub Users: Exploring a Convenience Sample
Y. Acar, C. Stransky, D. Wermke, M.L. Mazurek, S. Fahl, in: Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017, USENIX Association, 2017, pp. 81–95.
LibreCat
Y. Acar, C. Stransky, D. Wermke, M.L. Mazurek, S. Fahl, in: Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017, USENIX Association, 2017, pp. 81–95.
2017 | Report | LibreCat-ID: 47873
A Summary of Survey Methodology Best Practices for Security and Privacy Researchers
E.M. Redmiles, Y. Acar, S. Fahl, M.L. Mazurek, A Summary of Survey Methodology Best Practices for Security and Privacy Researchers, University of Maryland Computer Science Department, 2017.
LibreCat
| DOI
E.M. Redmiles, Y. Acar, S. Fahl, M.L. Mazurek, A Summary of Survey Methodology Best Practices for Security and Privacy Researchers, University of Maryland Computer Science Department, 2017.
2017 | Book | LibreCat-ID: 54762
Verbstellungsmuster im Altfranzösischen. Ein Beitrag zur historischen Syntaxforschung aus diskurstraditioneller Perspektive.
E. Varga, Verbstellungsmuster im Altfranzösischen. Ein Beitrag zur historischen Syntaxforschung aus diskurstraditioneller Perspektive., De Gruyter, Berlin, New York, 2017.
LibreCat
| DOI
E. Varga, Verbstellungsmuster im Altfranzösischen. Ein Beitrag zur historischen Syntaxforschung aus diskurstraditioneller Perspektive., De Gruyter, Berlin, New York, 2017.
2017 | Book Review | LibreCat-ID: 18919
Doherty, Fiona T., “Hilbert on Consistency as a Guide to Mathematical Reality”, In: Logique & Analyse 237 (2017), 107–128
V. Peckhaus, Mathematical Reviews, MR3675958 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR3675958 (2017).
2017 | Book Review | LibreCat-ID: 18914
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
V. Peckhaus, Mathematical Reviews, MR3560315 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR3560315 (2017).
2017 | Book Review | LibreCat-ID: 18913
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
V. Peckhaus, Mathematical Reviews, MR3497275 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR3497275 (2017).
2017 | Book Review | LibreCat-ID: 18916
Caminada, Martin W.A., Dvořák, Wolfgang, und Vesic, Srdjan, “Preferred Semantics as Socratic Discussion”, In: J. Logic Comput. 26 (2016), no. 4, 1257–1292
V. Peckhaus, Mathematical Reviews, MR3566658 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR3566658 (2017).
2017 | Book Review | LibreCat-ID: 18918
Rosado Haddock, Guillermo E., “The Interplay between Logic, Mathematics and Philosophy”, In: South African Journal of Logic 2 (2016), 41–66
V. Peckhaus, Mathematical Reviews, MR3653828 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR3653828 (2017).
2017 | Book Review | LibreCat-ID: 18727 | 
Morscher, Edgar, Bernard Bolzanos Lehre von Grund und Folge. Eine axiomatische Rekonstruktion, Academia Verlag: Sankt Augustin 2016 (Beiträge zur Bolzano-Forschung; 37)
V. Peckhaus, zbMATH Open, Zbl. 1372.01004 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1372.01004 (2017).
2017 | Book Review | LibreCat-ID: 18726 |
Casari, Ettore, Bolzano’s Logical System, Oxford University Press: Oxford 2016 (Oxford Logic Guides; 54)
V. Peckhaus, zbMATH Open, Zbl. 1370.01001 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1370.01001 (2017).
2017 | Book Review | LibreCat-ID: 18725 |
Centrone, Stefania, Studien zu Bolzano, Academia: Sankt Augustin 2015 (Beiträge zur Bolzano-Forschung; 26)
V. Peckhaus, zbMATH Open, Zbl. 1372.01002 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1372.01002 (2017).
2017 | Book Review | LibreCat-ID: 18724 |
Lenzen, Wolfgang, “Leibniz’s Logic and the ‘Cube of Opposition’”, In: Logica Universal-is 10 (2016), 171–189
V. Peckhaus, zbMATH Open, Zbl. 1360.03037 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1360.03037 (2017).
2017 | Book Review | LibreCat-ID: 18728 |
Tho, Tzuchien, Vis vim vi: Declinations of Force in Leibniz’s Dynamics, Springer: Cham 2017 (Studies in History and Philosophy of Science; 46)
V. Peckhaus, zbMATH Open, Zbl. 1379.01004 (2017).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1379.01004 (2017).