Benedikt Schmidt
AuthID: R-00H-CTP
1
TITLE: Quantifying rarity of intraspecific diversity at multiple spatial scales by combining fine-grain citizen-based data across national boundaries Full Text
AUTHORS: Denoel, Mathieu; Schmidt, Benedikt R.; Fonters, Remi; Hansbauer, Guenter; Johanet, Aurelie; Kuhnis, Jurgen; Poboljsaj, Katja; Schweiger, Silke; Sillero, Neftali;
PUBLISHED: 2023, SOURCE: BIOLOGICAL CONSERVATION, VOLUME: 280
AUTHORS: Denoel, Mathieu; Schmidt, Benedikt R.; Fonters, Remi; Hansbauer, Guenter; Johanet, Aurelie; Kuhnis, Jurgen; Poboljsaj, Katja; Schweiger, Silke; Sillero, Neftali;
PUBLISHED: 2023, SOURCE: BIOLOGICAL CONSERVATION, VOLUME: 280
INDEXED IN: 
WOS
WOS2
TITLE: Integrating ecosystem services within spatial biodiversity conservation prioritization in the Alps Full Text
AUTHORS: Cindy Ramel; Pierre Louis Rey; Rui Fernandes; Claire Vincent; Ana R Cardoso; Olivier Broennimann; Loic Pellissier; Jean Nicolas Pradervand; Sylvain Ursenbacher; Benedikt R Schmidt; Antoine Guisan;
PUBLISHED: 2020, SOURCE: ECOSYSTEM SERVICES, VOLUME: 45
AUTHORS: Cindy Ramel; Pierre Louis Rey; Rui Fernandes; Claire Vincent; Ana R Cardoso; Olivier Broennimann; Loic Pellissier; Jean Nicolas Pradervand; Sylvain Ursenbacher; Benedikt R Schmidt; Antoine Guisan;
PUBLISHED: 2020, SOURCE: ECOSYSTEM SERVICES, VOLUME: 45
INDEXED IN: 
Scopus WOS
Scopus WOS3
TITLE: Conservation decisions under pressure: Lessons from an exercise in rapid response to wildlife disease
AUTHORS: Stefano Canessa; Annemarieke Spitzen van der Sluijs; Tariq Stark; Bryony E Allen; Phillip J Bishop; Molly Bletz; Cheryl J Briggs; David R Daversa; Matthew J Gray; Richard A Griffiths; Reid N Harris; Xavier A Harrison; Jason T Hoverman; Phillip Jervis; Erin Muths; Deanna H Olson; Stephen J Price; Corinne L Richards Zawacki; Jacques Robert; Goncalo M Rosa; ...More
PUBLISHED: 2020, SOURCE: CONSERVATION SCIENCE AND PRACTICE, VOLUME: 2, ISSUE: 1
AUTHORS: Stefano Canessa; Annemarieke Spitzen van der Sluijs; Tariq Stark; Bryony E Allen; Phillip J Bishop; Molly Bletz; Cheryl J Briggs; David R Daversa; Matthew J Gray; Richard A Griffiths; Reid N Harris; Xavier A Harrison; Jason T Hoverman; Phillip Jervis; Erin Muths; Deanna H Olson; Stephen J Price; Corinne L Richards Zawacki; Jacques Robert; Goncalo M Rosa; ...More
PUBLISHED: 2020, SOURCE: CONSERVATION SCIENCE AND PRACTICE, VOLUME: 2, ISSUE: 1
INDEXED IN: WOS
WOS4
TITLE: Climate and land-use changes reshuffle politically-weighted priority areas of mountain biodiversity
AUTHORS: Claire Vincent; Rui F Fernandes; Ana R Cardoso; Olivier Broennimann; Valeria Di Cola; Manuela D'Amen; Sylvain Ursenbacher; Benedikt R Schmidt; Jean Nicolas Pradervand; Loic Pellissier; Antoine Guisan;
PUBLISHED: 2019, SOURCE: GLOBAL ECOLOGY AND CONSERVATION, VOLUME: 17
AUTHORS: Claire Vincent; Rui F Fernandes; Ana R Cardoso; Olivier Broennimann; Valeria Di Cola; Manuela D'Amen; Sylvain Ursenbacher; Benedikt R Schmidt; Jean Nicolas Pradervand; Loic Pellissier; Antoine Guisan;
PUBLISHED: 2019, SOURCE: GLOBAL ECOLOGY AND CONSERVATION, VOLUME: 17
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography Full Text
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
6
TITLE: Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
AUTHORS: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2016, SOURCE: IET Inf. Secur., VOLUME: 10, ISSUE: 6
AUTHORS: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2016, SOURCE: IET Inf. Secur., VOLUME: 10, ISSUE: 6
INDEXED IN: 
DBLP
DBLP7
TITLE: Automated Proofs of Pairing-Based Cryptography
AUTHORS: Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015
AUTHORS: Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015
INDEXED IN: DBLP
DBLP8
TITLE: Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II, VOLUME: 9057
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II, VOLUME: 9057
INDEXED IN: DBLP
DBLP9
TITLE: Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds
AUTHORS: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2015, SOURCE: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, VOLUME: 9020
AUTHORS: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2015, SOURCE: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, VOLUME: 9020
INDEXED IN: DBLP
DBLP10
TITLE: Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2015
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2015
INDEXED IN: DBLP
DBLP