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: 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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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.)
 

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.)
 

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.)
 

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.)
 

2017 | Book Review | LibreCat-ID: 18727 | OA
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.)
 

2017 | Book Review | LibreCat-ID: 18728 | OA
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.)
 

2017 | Book Review | LibreCat-ID: 18724 | OA
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.)
 

2017 | Book Review | LibreCat-ID: 18725 | OA
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.)
 

2017 | Book Review | LibreCat-ID: 18726 | OA
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.)
 

2017 | Journal Article | LibreCat-ID: 53774
Association of Adherence to a Healthy Diet with Cognitive Decline in European and American Older Adults: A Meta-Analysis within the CHANCES Consortium
A.A.M. Berendsen, J.H. Kang, O. van de Rest, N. Jankovic, E. Kampman, J.C. Kiefte-de Jong, O.H. Franco, M.A. Ikram, H. Pikhart, L.M. Nilsson, H. Brenner, P. Boffetta, S.B. Rafnsson, D. Gustafson, A. Kyrozis, A. Trichopoulou, E.J.M. Feskens, F. Grodstein, L.C.P.G.M. de Groot, Dementia and Geriatric Cognitive Disorders 43 (2017) 215–227.
LibreCat | DOI
 

Filters and Search Terms

status=public

year<=2017 AND year>=2017

Search

Filter Publications

Display / Sort

Export / Embed