Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Thomas D. Hedberg, Sylvère Krima, Jaime A. Camelio	Embedding X.509 Digital Certificates in Three-Dimensional Models for Authentication, Authorization, and Traceability of Product Data.	J. Comput. Inf. Sci. Eng.	2017	DBLP DOI BibTeX RDF
15	Marius Korsnes, Marianne Ryghaug	With license to build: Chinese offshore wind firms rejecting European certificates.	Technol. Anal. Strateg. Manag.	2017	DBLP DOI BibTeX RDF
15	Simone Formentin, Fabrizio Dabbene, Roberto Tempo, Luca Zaccarian, Sergio M. Savaresi	Robust Linear Static Anti-Windup With Probabilistic Certificates.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
15	Amir Ali Ahmadi, Pablo A. Parrilo	Sum of Squares Certificates for Stability of Planar, Homogeneous, and Switched Systems.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
15	Loukas Georgiadis, Giuseppe F. Italiano, Aikaterini Karanasiou, Charis Papadopoulos, Nikos Parotsidis	Sparse certificates for 2-connectivity in directed graphs.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Amitabh Basu, Michele Conforti, Gérard Cornuéjols, Robert Weismantel, Stefan Weltge	Optimality certificates for convex minimization and Helly numbers.	Oper. Res. Lett.	2017	DBLP DOI BibTeX RDF
15	Li Wang 0050, Aaron D. Ames, Magnus Egerstedt	Safety Barrier Certificates for Collisions-Free Multirobot Systems.	IEEE Trans. Robotics	2017	DBLP DOI BibTeX RDF
15	Chao Huang 0015, Xin Chen 0027, Wang Lin, Zhengfeng Yang, Xuandong Li	Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
15	Adolfo R. Escobedo, Erick Moreno-Centeno	Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates.	SIAM J. Matrix Anal. Appl.	2017	DBLP DOI BibTeX RDF
15	Hannes Fendl, Arnold Neumaier, Hermann Schichl	Certificates of infeasibility via nonsmooth optimization.	J. Glob. Optim.	2017	DBLP DOI BibTeX RDF
15	Li Wang 0050, Evangelos A. Theodorou, Magnus Egerstedt	Safe Learning of Quadrotor Dynamics Using Barrier Certificates.	CoRR	2017	DBLP BibTeX RDF
15	Elena Tutubalina, Zulfat Miftahutdinov	An Encoder-Decoder Model for ICD-10 Coding of Death Certificates.	CoRR	2017	DBLP BibTeX RDF
15	Amir Ali Ahmadi, Georgina Hall	On the construction of converging hierarchies for polynomial optimization based on certificates of global positivity.	CoRR	2017	DBLP BibTeX RDF
15	Jean-Guillaume Dumas, David Lucas 0001, Clément Pernet	Certificates for triangular equivalence and rank profiles.	CoRR	2017	DBLP BibTeX RDF
15	Kim Peter Wabersich, Melanie N. Zeilinger	Scalable synthesis of safety certificates from data with application to learning-based control.	CoRR	2017	DBLP BibTeX RDF
15	Stefan Ratschan	Simulation Based Computation of Certificates for Safety of Dynamical Systems.	CoRR	2017	DBLP BibTeX RDF
15	Stefan Ratschan	A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations.	CoRR	2017	DBLP BibTeX RDF
15	Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001	A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.	SYNT@CAV	2017	DBLP DOI BibTeX RDF
15	Chris McEniry	Golang: Creating and Using Certificates with TLS.	login Usenix Mag.	2017	DBLP BibTeX RDF
15	Paul E. Hoffman, Jakob Schlyter	Using Secure DNS to Associate Certificates with Domain Names for S/MIME.	RFC	2017	DBLP DOI BibTeX RDF
15	Mark C. Reynolds, Sean Turner, Stephen T. Kent	A Profile for BGPsec Router Certificates, Certificate Revocation Lists, and Certification Requests.	RFC	2017	DBLP DOI BibTeX RDF
15	Sanjit Chatterjee, Deepak Garg 0001, Aniket Kate, Tobias Theobald	Encrypting Messages for Incomplete Chains of Certificates.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
15	Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan	Barrier certificates revisited.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
15	Tomasz Hyla, Jerzy Pejas	A Hess-Like Signature Scheme Based on Implicit and Explicit Certificates.	Comput. J.	2017	DBLP DOI BibTeX RDF
15	Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre	Positivity Certificates in Optimal Control.	Geometric and Numerical Foundations of Movements	2017	DBLP DOI BibTeX RDF
15	Mingxin Cui, Zigang Cao, Gang Xiong 0001, Junzheng Shi	POSTER: A Comprehensive Study of Forged Certificates in the Wild.	CCS	2017	DBLP DOI BibTeX RDF
15	Ronald Bieber, Klaus Höckner, Gabriele Sauberer	Accessible Information and Accessibility Through ICT: A Mega Trend Creates the Need for Quality Certificates for Web Accessibility Professionals in Europe and Beyond.	EuroSPI	2017	DBLP DOI BibTeX RDF
15	Shalev Ben-David, Pooya Hatami, Avishay Tal	Low-Sensitivity Functions from Unambiguous Certificates.	ITCS	2017	DBLP DOI BibTeX RDF
15	Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller	A Simplex Architecture for Hybrid Systems Using Barrier Certificates.	SAFECOMP	2017	DBLP DOI BibTeX RDF
15	Evelina Di Corso, Tania Cerquitelli, Marco Savino Piscitelli, Alfonso Capozzoli	Exploring Energy Certificates of Buildings through Unsupervised Data Mining Techniques.	iThings/GreenCom/CPSCom/SmartData	2017	DBLP DOI BibTeX RDF
15	Wided Boubakri, Walid Abdallah, Noureddine Boudriga	Access control in 5G communication networks using simple PKI certificates.	IWCMC	2017	DBLP DOI BibTeX RDF
15	Michael Rossberg, Markus Theil	Secure Enrollment of Certificates Using Short PINs.	ARES	2017	DBLP DOI BibTeX RDF
15	Ana Alice Baptista, Sara Catarina Silva	Metadata for the Certificates of Energy Efficiency of Buildings in Smart Cities.	Dublin Core Conference	2017	DBLP BibTeX RDF
15	Badis Hammi, Jean Philippe Monteuuis, Eduardo Salles Daniel, Houda Labiod	ASN.1 Specification for ETSI Certificates and Encoding Performance Study.	MDM	2017	DBLP DOI BibTeX RDF
15	Alexey Rabin, Ehud Gudes	Secure Protocol of ABAC Certificates Revocation and Delegation.	FPS	2017	DBLP DOI BibTeX RDF
15	Riccardo Longo, Federico Pintore, Giancarlo Rinaldo, Massimiliano Sala	On the security of the blockchain BIX protocol and certificates.	CyCon	2017	DBLP DOI BibTeX RDF
15	Zulfat Miftahutdinov, Elena Tutubalina	KFU at CLEF eHealth 2017 Task 1: ICD-10 Coding of English Death Certificates with Recurrent Neural Networks.	CLEF (Working Notes)	2017	DBLP BibTeX RDF
15	Pierre Zweigenbaum, Thomas Lavergne	Multiple Methods for Multi-class, Multi-label ICD-10 Coding of Multi-granularity, Multilingual Death Certificates.	CLEF (Working Notes)	2017	DBLP BibTeX RDF
15	Andon Tchechmedjiev, Amine Abdaoui, Vincent Emonet, Clément Jonquet	ICD10 Coding of Death Certificates with the NCBO and SIFR Annotator(s) at CLEF eHealth 2017 Task 1.	CLEF (Working Notes)	2017	DBLP BibTeX RDF
15	Mike Ebersbach, Robert Herms, Maximilian Eibl	Fusion Methods for ICD10 Code Classification of Death Certificates in Multilingual Corpora.	CLEF (Working Notes)	2017	DBLP BibTeX RDF
15	Aurélie Névéol, Aude Robert, Robert Anderson, Kevin Bretonnel Cohen, Cyril Grouin, Thomas Lavergne, Grégoire Rey, Claire Rondet, Pierre Zweigenbaum	CLEF eHealth 2017 Multilingual Information Extraction task Overview: ICD10 Coding of Death Certificates in English and French.	CLEF (Working Notes)	2017	DBLP BibTeX RDF
15	Jitendra Jonnagaddala, Feiyan Hu	Automatic Coding of Death Certificates to ICD-10 Terminology.	CLEF (Working Notes)	2017	DBLP BibTeX RDF
15	Tomasz Hyla, Jerzy Pejas	A Signature Scheme Based on Implicit and Explicit Certificates Against k-Traitors Collusion Attack.	CISIM	2017	DBLP DOI BibTeX RDF
15	Yu-Hao Hsu, Fuchun Joseph Lin	Preventing Misuse of Duplicate Certificates in IoT/M2M Systems.	ICCCN	2017	DBLP DOI BibTeX RDF
15	Ahto Buldas, Aleksandr Lenin, Jan Willemson, Anton Charnamord	Simple Infeasibility Certificates for Attack Trees.	IWSEC	2017	DBLP DOI BibTeX RDF
15	Giorgio Maria Di Nunzio, Federica Beghini, Federica Vezzani, Geneviève Henrot	A Reproducible Approach with R Markdown to Automatic Classification of Medical Certificates in French.	CLiC-it	2017	DBLP BibTeX RDF
15	Frédéric Gilbert 0002	Proof Certificates in PVS.	ITP	2017	DBLP DOI BibTeX RDF
15	Imane Allaouzi, Mohamed Ben Ahmed	Multi-label Categorization of French Death Certificates using NLP and Machine Learning.	BDCA	2017	DBLP DOI BibTeX RDF
15	Francisco J. Duarte, Bruno Martins 0001, Cátia Sousa Pinto, Mário J. Silva	A Deep Learning Method for ICD-10 Coding of Free-Text Death Certificates.	EPIA	2017	DBLP DOI BibTeX RDF
15	Vijay Bhattiprolu, Venkatesan Guruswami, Euiwoong Lee	Sum-of-Squares Certificates for Maxima of Random Tensors on the Sphere.	APPROX-RANDOM	2017	DBLP DOI BibTeX RDF
15	Salomé Eriksson, Gabriele Röger, Malte Helmert	Unsolvability Certificates for Classical Planning.	ICAPS	2017	DBLP BibTeX RDF
15	Filip Forsby, Martin Furuhed, Panos Papadimitratos, Shahid Raza	Lightweight X.509 Digital Certificates for the Internet of Things.	InterIoT/SaSeIoT	2017	DBLP DOI BibTeX RDF
15	Thomas Friedl, Henning Schneider, Miloslava Plachkinova	Development of a Platform-Independent Software Tool for Management of X.509 Certificates from Diverse Certificate Stores.	DASC/PiCom/DataCom/CyberSciTech	2017	DBLP DOI BibTeX RDF
15	Badis Hammi, Jean Philippe Monteuuis, Houda Labiod, Rida Khatoun, Ahmed Serhrouchni	Using butterfly keys: A performance study of pseudonym certificates requests in C-ITS.	CSNet	2017	DBLP DOI BibTeX RDF
15	Fei Jiang, Liang-Jie Zhang, Huan Chen 0007	Automated Image Quality Assessment for Certificates and Bills.	ICCC	2017	DBLP DOI BibTeX RDF
15	Stefan Ratschan	Simulation Based Computation of Certificates for Safety of Dynamical Systems.	FORMATS	2017	DBLP DOI BibTeX RDF
15	Jean-Guillaume Dumas, David Lucas 0001, Clément Pernet	Certificates for Triangular Equivalence and Rank Profiles.	ISSAC	2017	DBLP DOI BibTeX RDF
15	Roberto Blanco Martínez	Applications of Foundational Proof Certificates in theorem proving. (Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes).		2017	RDF
15	Adel Djaballah	Computation of barrier certificates for dynamical hybrids systems using interval analysis. (Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides).		2017	RDF
15	Bo Li, Benjamin Lowenstein, Mohamed Omar	Low Degree Nullstellensatz Certificates for 3-Colorability.	Electron. J. Comb.	2016	DBLP DOI BibTeX RDF
15	Zheng Dong, Kevin Kane, L. Jean Camp	Detection of Rogue Certificates from Trusted Certificate Authorities Using Deep Neural Networks.	ACM Trans. Priv. Secur.	2016	DBLP DOI BibTeX RDF
15	Kevin K. H. Cheung, Babak Moazzez	Certificates of Optimality for Mixed Integer Linear Programming Using Generalized Subadditive Generator Functions.	Adv. Oper. Res.	2016	DBLP DOI BibTeX RDF
15	Jungho Kang, Hague Chung, Jeong Kyu Lee, Jong Hyuk Park	The Design and Analysis of a Secure Personal Healthcare System Based on Certificates.	Symmetry	2016	DBLP DOI BibTeX RDF
15	Kai Kellner, Thorsten Theobald	Sum of Squares Certificates for Containment of H-Polytopes in V-Polytopes.	SIAM J. Discret. Math.	2016	DBLP DOI BibTeX RDF
15	Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski	Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
15	Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang	Flexibility and Optimization of QBF Skolem-Herbrand Certificates.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2016	DBLP DOI BibTeX RDF
15	Shalev Ben-David	Low-Sensitivity Functions from Unambiguous Certificates.	Electron. Colloquium Comput. Complex.	2016	DBLP BibTeX RDF
15	Alexey G. Busygin, Artem S. Konoplev, Maxim O. Kalinin	Approaches to protection of applications based on the TLS protocol against attacks using revoked certificates.	Autom. Control. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Sefa Demirtas	Minimax Design of Nonlinear Phase FIR Filters with Optimality Certificates.	CoRR	2016	DBLP BibTeX RDF
15	Riccardo Longo, Federico Pintore, Giancarlo Rinaldo, Massimiliano Sala	On the security of the Blockchain Bix Protocol and Certificates.	CoRR	2016	DBLP BibTeX RDF
15	Li Wang 0050, Aaron D. Ames, Magnus Egerstedt	Safety Barrier Certificates for Heterogeneous Multi-Robot Systems.	CoRR	2016	DBLP BibTeX RDF
15	Shalev Ben-David	Low-Sensitivity Functions from Unambiguous Certificates.	CoRR	2016	DBLP BibTeX RDF
15	Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard	Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix.	CoRR	2016	DBLP BibTeX RDF
15	Celestine Dünner, Simone Forte, Martin Takác 0001, Martin Jaggi	Primal-Dual Rates and Certificates.	CoRR	2016	DBLP BibTeX RDF
15	Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz	Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems.	CoRR	2016	DBLP BibTeX RDF
15	Shivkumar Selvakumaraswamy, Umamaheswari Govindaswamy	Efficient transmission of PKI certificates using elliptic curve cryptography and its variants.	Int. Arab J. Inf. Technol.	2016	DBLP BibTeX RDF
15	Tobias Heer, Samu Varjonen	Host Identity Protocol Certificates.	RFC	2016	DBLP DOI BibTeX RDF
15	Wen Tao Zhu, Jingqiang Lin	Generating Correlated Digital Certificates: Framework and Applications.	IEEE Trans. Inf. Forensics Secur.	2016	DBLP DOI BibTeX RDF
15	Eric R. Verheul	Activate Later Certificates for V2X - Combining ITS efficiency with privacy.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
15	Joshua Bialkowski, Michael W. Otte, Sertac Karaman, Emilio Frazzoli	Efficient collision checking in sampling-based motion planning via safety certificates.	Int. J. Robotics Res.	2016	DBLP DOI BibTeX RDF
15	Shahidatul Sadiah, Toru Nakanishi 0001	Reduction of certificates in an anonymous credential system with proofs for monotone formulas on attributes.	ICCE-TW	2016	DBLP DOI BibTeX RDF
15	Duy An Ha, Kha Tho Nguyen, John K. Zao	Efficient authentication of resource-constrained IoT devices based on ECQV implicit certificates and datagram transport layer security protocol.	SoICT	2016	DBLP DOI BibTeX RDF
15	Omar Alrawi, Aziz Mohaisen	Chains of Distrust: Towards Understanding Certificates Used for Signing Malicious Applications.	WWW (Companion Volume)	2016	DBLP DOI BibTeX RDF
15	Zhengfeng Yang, Chao Huang 0015, Xin Chen 0027, Wang Lin, Zhiming Liu 0001	A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.	FM	2016	DBLP DOI BibTeX RDF
15	Thaís Bardini Idalino, Marina Coelho, Jean Everson Martina	Automated Issuance of Digital Certificates through the Use of Federations.	ARES	2016	DBLP DOI BibTeX RDF
15	Li Wang 0050, Aaron D. Ames, Magnus Egerstedt	Safety barrier certificates for heterogeneous multi-robot systems.	ACC	2016	DBLP DOI BibTeX RDF
15	Pierre Zweigenbaum, Thomas Lavergne	Hybrid methods for ICD-10 coding of death certificates.	Louhi@EMNLP	2016	DBLP DOI BibTeX RDF
15	Zakia El Uahhabi, Hanan El Bakkali	An approach for evaluating trust in X.509 certificates.	ICITST	2016	DBLP DOI BibTeX RDF
15	Nader Motee, Qiyu Sun	Localized stability certificates for spatially distributed systems.	CDC	2016	DBLP DOI BibTeX RDF
15	Varsharani Hawanna, Vrushali Y. Kulkarni, Rashmi Rane, Pooja Joshi	Risk Evaluation of X.509 Certificates - A Machine Learning Application.	ICISS	2016	DBLP DOI BibTeX RDF
15	Hee-Yong Kwon, Mun-Kyu Lee	Fast Signature Verification with Shared Implicit Certificates for Vehicular Communication.	BWCCA	2016	DBLP DOI BibTeX RDF
15	Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen 0027, Lilei Wang	Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.	EMSOFT	2016	DBLP DOI BibTeX RDF
15	Antonino Sferlazza, Luca Zaccarian	Linear flux observers for induction motors with quadratic Lyapunov certificates.	ISIE	2016	DBLP DOI BibTeX RDF
15	Mohamed Dermouche, Vincent Looten, Rémi Flicoteaux, Sylvie Chevret, Julien Velcin, Namik Taright	ECSTRA-INSERM @ CLEF eHealth2016-task 2: ICD10 Code Extraction from Death Certificates.	CLEF (Working Notes)	2016	DBLP BibTeX RDF
15	Thomas Lavergne, Aurélie Névéol, Aude Robert, Cyril Grouin, Grégoire Rey, Pierre Zweigenbaum	A Dataset for ICD-10 Coding of Death Certificates: Creation and Usage.	BioTxtM@COLING 2016	2016	DBLP BibTeX RDF
15	Nathan Fulton, André Platzer	A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics.	CPP	2016	DBLP DOI BibTeX RDF
15	Alain Mebsout, Cesare Tinelli	Proof certificates for SMT-based model checkers for infinite-state systems.	FMCAD	2016	DBLP DOI BibTeX RDF
15	Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno	Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation.	IEEE Symposium on Security and Privacy	2016	DBLP DOI BibTeX RDF
15	Celestine Dünner, Simone Forte, Martin Takác 0001, Martin Jaggi	Primal-Dual Rates and Certificates.	ICML	2016	DBLP BibTeX RDF
15	Taejoong Chung, Yabing Liu, David R. Choffnes, Dave Levin, Bruce MacDowell Maggs, Alan Mislove, Christo Wilson	Measuring and Applying Invalid SSL Certificates: The Silent Majority.	Internet Measurement Conference	2016	DBLP BibTeX RDF