Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Open Access
Verifying Curve25519 Software
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014, p.299-309
2014
Link zum Volltext

2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, p.288-293
2024

Proceedings of the 2012 ACM conference on Computer and communications security, 2012, p.674-686
2012
Link zum Volltext

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016, p.189-200
2016
Link zum Volltext


2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.623-633
2018

Proceedings of the 2022 3rd International Conference on Robotics Systems and Vehicle Technology, 2022, p.40-44
2022
Link zum Volltext


Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022, p.1957-1962
2022
Link zum Volltext

Proceedings of the 2020 ACM International Conference on Intelligent Computing and its Emerging Applications, 2020, p.1-3
2020
Link zum Volltext


Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008, p.192-202
2008
Link zum Volltext

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, 2012, p.139-148
2012
Link zum Volltext
Aktive Filter
KollektionIngentaConnect
Zeitschrift / SerieWorld Journal Of Gastroenterology
Zeitschrift / Serie中华医学杂志
Nur zeigenGeprüft (Peer-Review)
ThemaPhysical Sciences
KollektionACM Digital Library