Benedikt Schmidt
AuthID: R-00H-CTP
1
TÃTULO: Quantifying rarity of intraspecific diversity at multiple spatial scales by combining fine-grain citizen-based data across national boundaries Full Text
AUTORES: Denoel, Mathieu; Schmidt, Benedikt R.; Fonters, Remi; Hansbauer, Guenter; Johanet, Aurelie; Kuhnis, Jurgen; Poboljsaj, Katja; Schweiger, Silke; Sillero, Neftali;
PUBLICAÇÃO: 2023, FONTE: BIOLOGICAL CONSERVATION, VOLUME: 280
AUTORES: Denoel, Mathieu; Schmidt, Benedikt R.; Fonters, Remi; Hansbauer, Guenter; Johanet, Aurelie; Kuhnis, Jurgen; Poboljsaj, Katja; Schweiger, Silke; Sillero, Neftali;
PUBLICAÇÃO: 2023, FONTE: BIOLOGICAL CONSERVATION, VOLUME: 280
INDEXADO EM: 
WOS
WOS2
TÃTULO: Integrating ecosystem services within spatial biodiversity conservation prioritization in the Alps Full Text
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: ECOSYSTEM SERVICES, VOLUME: 45
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: ECOSYSTEM SERVICES, VOLUME: 45
INDEXADO EM: 
Scopus WOS
Scopus WOS3
TÃTULO: Conservation decisions under pressure: Lessons from an exercise in rapid response to wildlife disease
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2020, FONTE: CONSERVATION SCIENCE AND PRACTICE, VOLUME: 2, NÚMERO: 1
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2020, FONTE: CONSERVATION SCIENCE AND PRACTICE, VOLUME: 2, NÚMERO: 1
INDEXADO EM: WOS
WOS4
TÃTULO: Climate and land-use changes reshuffle politically-weighted priority areas of mountain biodiversity
AUTORES: 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;
PUBLICAÇÃO: 2019, FONTE: GLOBAL ECOLOGY AND CONSERVATION, VOLUME: 17
AUTORES: 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;
PUBLICAÇÃO: 2019, FONTE: GLOBAL ECOLOGY AND CONSERVATION, VOLUME: 17
INDEXADO EM: Scopus WOS
Scopus WOS5
TÃTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 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
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 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
TÃTULO: Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
AUTORES: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLICAÇÃO: 2016, FONTE: IET Inf. Secur., VOLUME: 10, NÚMERO: 6
AUTORES: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLICAÇÃO: 2016, FONTE: IET Inf. Secur., VOLUME: 10, NÚMERO: 6
INDEXADO EM: 
DBLP
DBLP7
TÃTULO: Automated Proofs of Pairing-Based Cryptography
AUTORES: Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015
AUTORES: Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015
INDEXADO EM: DBLP
DBLP8
TÃTULO: Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: DBLP
DBLP9
TÃTULO: Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds
AUTORES: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: DBLP
DBLP10
TÃTULO: Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2015
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2015
INDEXADO EM: DBLP
DBLP