Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Mohamed Maghenem, Ricardo G. Sanfelice	Multiple Barrier Function Certificates for Forward Invariance in Hybrid Inclusions.	ACC	2019	DBLP DOI BibTeX RDF
15	Mohamadreza Ahmadi, Bo Wu 0005, Yuxin Chen 0001, Yisong Yue, Ufuk Topcu	Barrier Certificates for Assured Machine Teaching.	ACC	2019	DBLP DOI BibTeX RDF
15	Seyedhamed Seyedi Pour, Hadi Nobahari, Maria Prandini	Probability estimation in aircraft conflict detection: a simple and computationally effective method with accuracy certificates.	ECC	2019	DBLP DOI BibTeX RDF
15	Clemens Wickboldt, Natalia Kliewer	Blockchain for Workshop Event Certificates - a Proof of Concept in the Aviation Industry.	ECIS	2019	DBLP BibTeX RDF
15	Frédéric Gilbert 0002	Verifiable Certificates for Predicate Subtyping.	ESOP	2019	DBLP DOI BibTeX RDF
15	Mohamed Maghenem, Ricardo G. Sanfelice	Multiple Barrier Function Certificates for Weak Forward Invariance in Hybrid Inclusions.	CDC	2019	DBLP DOI BibTeX RDF
15	Mahathi Anand, Pushpak Jagtap, Majid Zamani 0001	Verification of Switched Stochastic Systems via Barrier Certificates.	CDC	2019	DBLP DOI BibTeX RDF
15	Soon Jye Kho, Amit P. Sheth, Olivier Bodenreider	Automatic Identification of Individual Drugs in Death Certificates.	MedInfo	2019	DBLP DOI BibTeX RDF
15	Merav Parter	Small Cuts and Connectivity Certificates: A Fault Tolerant Approach.	DISC	2019	DBLP DOI BibTeX RDF
15	Edona Fasllija, Hasan Ferit Eniser, Bernd Prünster	Phish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs.	SecureComm (2)	2019	DBLP DOI BibTeX RDF
15	Hacène Fouchal	Privacy Protection with Less Certificates in C-ITS.	ISCC	2019	DBLP DOI BibTeX RDF
15	Eric R. Verheul, Christopher Hicks, Flavio D. Garcia	IFAL: Issue First Activate Later Certificates for V2X.	EuroS&P	2019	DBLP DOI BibTeX RDF
15	Edward Oakes, Jeffery Kline, Aaron Cahn, Keith Funkhouser, Paul Barford	A Residential Client-side Perspective on SSL Certificates.	TMA	2019	DBLP DOI BibTeX RDF
15	Minmei Wang, Chen Qian 0001, Xin Li 0057, Shouqian Shi	Collaborative Validation of Public-Key Certificates for IoT by Distributed Caching.	INFOCOM	2019	DBLP DOI BibTeX RDF
15	Ulrike Meyer, Vincent Drury	Certified Phishing: Taking a Look at Public Key Certificates of Phishing Websites.	SOUPS @ USENIX Security Symposium	2019	DBLP BibTeX RDF
15	Pawel Szalachowski	EVLA: Extended-Validation Certificates with Location Assurance.	BSCI	2019	DBLP DOI BibTeX RDF
15	Guang-He Lee, Yang Yuan, Shiyu Chang, Tommi S. Jaakkola	Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers.	NeurIPS	2019	DBLP BibTeX RDF
15	Matt Jordan, Justin Lewis, Alexandros G. Dimakis	Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes.	NeurIPS	2019	DBLP BibTeX RDF
15	Cody Freitag, Ilan Komargodski, Rafael Pass	Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge.	CRYPTO (3)	2019	DBLP DOI BibTeX RDF
15	Christoph Dann, Lihong Li 0001, Wei Wei, Emma Brunskill	Policy Certificates: Towards Accountable Reinforcement Learning.	ICML	2019	DBLP BibTeX RDF
15	Gajasri Karthikeyan, Stefan Heiss	Enhancing Authorization Mechanisms using Attribute Certificates for OPC UA based Applications.	INDIN	2019	DBLP DOI BibTeX RDF
15	Ronald Martinez, Alain Alejo, Paulo Portugal, Álvaro Cuno, Fernando Zapata, Ricardo Saavedra	An artifact for X.509 digital certificates delivery.	SCCC	2019	DBLP DOI BibTeX RDF
15	Cristiane Dias Lepiane, Fernando Lauro Pereira, Giovani Pieri, Douglas Marcelino Beppler Martins, Jean Everson Martina, Mauro Luiz Rabelo	Digital Degree Certificates for Higher Education in Brazil: A Technical Policy Specification.	DocEng	2019	DBLP DOI BibTeX RDF
15	Tania Cerquitelli, Evelina Di Corso, Stefano Proto, Alfonso Capozzoli, Fabio Bellotti, Maria Giovanna Cassese, Elena Baralis, Marco Mellia, Silvia Casagrande, Martina Tamburini	Exploring energy performance certificates through visualization.	EDBT/ICDT Workshops	2019	DBLP BibTeX RDF
15	Samuel Van Ackere, Jochem Beullens, Alain De Wulf, Philippe De Maeyer	Data Extraction Algorithm for Energy Performance Certificates (EPC) to Estimate the Maximum Economic Damage of Buildings for Economic Impact Assessment of Floods in Flanders, Belgium.	ISPRS Int. J. Geo Inf.	2018	DBLP DOI BibTeX RDF
15	Bevan Koopman, Guido Zuccon, Anthony N. Nguyen, Anton Bergheim, Narelle Grayson	Extracting cancer mortality statistics from death certificates: A hybrid machine learning and rule-based approach for common and rare cancers.	Artif. Intell. Medicine	2018	DBLP DOI BibTeX RDF
15	Stefan Ratschan	Converse Theorems for Safety and Barrier Certificates.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
15	Laura Menini, Corrado Possieri, Antonio Tornambè	Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
15	Ahcene Teniou, Boucif Amar Bensaber	Efficient and dynamic elliptic curve qu-vanstone implicit certificates distribution scheme for vehicular cloud networks.	Secur. Priv.	2018	DBLP DOI BibTeX RDF
15	Christoph Dann, Lihong Li 0001, Wei Wei, Emma Brunskill	Policy Certificates: Towards Accountable Reinforcement Learning.	CoRR	2018	DBLP BibTeX RDF
15	Henning Seidler, Timo de Wolff	An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization.	CoRR	2018	DBLP BibTeX RDF
15	Sébastien Cossin, Vianney Jouhet, Fleur Mougin, Gayo Diallo, Frantz Thiessard	IAM at CLEF eHealth 2018: Concept Annotation and Coding in French Death Certificates.	CoRR	2018	DBLP BibTeX RDF
15	Clarice Poon, Nicolas Keriven, Gabriel Peyré	A Dual Certificates Analysis of Compressive Off-the-Grid Recovery.	CoRR	2018	DBLP BibTeX RDF
15	Mohit Srinivasan, Samuel Coogan 0001, Magnus Egerstedt	Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic.	CoRR	2018	DBLP BibTeX RDF
15	Mohamadreza Ahmadi, Bo Wu 0005, Hai Lin 0002, Ufuk Topcu	Privacy Verification in POMDPs via Barrier Certificates.	CoRR	2018	DBLP BibTeX RDF
15	Leizhen Cai	Vertex Covers Revisited: Indirect Certificates and FPT Algorithms.	CoRR	2018	DBLP BibTeX RDF
15	Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu	Verification of Uncertain POMDPs Using Barrier Certificates.	CoRR	2018	DBLP BibTeX RDF
15	Mohamadreza Ahmadi, Bo Wu 0005, Yuxin Chen 0001, Yisong Yue, Ufuk Topcu	Barrier Certificates for Assured Machine Teaching.	CoRR	2018	DBLP BibTeX RDF
15	David Lucas 0001, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde	Interactive Certificates for Polynomial Matrices with Sub-Linear Communication.	CoRR	2018	DBLP BibTeX RDF
15	Feodor F. Dragan, Michel Habib, Laurent Viennot	Revisiting Radius, Diameter, and all Eccentricity Computation in Graphs through Certificates.	CoRR	2018	DBLP BibTeX RDF
15	Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem	Left-eigenvectors are certificates of the Orbit Problem.	CoRR	2018	DBLP BibTeX RDF
15	Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.	CoRR	2018	DBLP BibTeX RDF
15	Dario Paccagnan, Rahul Chandan, Jason R. Marden	Distributed resource allocation through utility design - Part I: optimizing the performance certificates via the price of anarchy.	CoRR	2018	DBLP BibTeX RDF
15	Jean-Guillaume Dumas	Proof-of-work certificates that can be efficiently computed in the cloud.	CoRR	2018	DBLP BibTeX RDF
15	Amir Ali Ahmadi, Pablo A. Parrilo	Sum of squares certificates for stability of planar, homogeneous, and switched systems.	CoRR	2018	DBLP BibTeX RDF
15	Federico A. Ramponi, Marco C. Campi	Expected shortfall: Heuristics and certificates.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
15	Minghui Liu, Gábor Pataki	Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming.	Math. Program.	2018	DBLP DOI BibTeX RDF
15	Alexey Melnikov 0001, Weihaw Chuang	Internationalized Email Addresses in X.509 Certificates.	RFC	2018	DBLP DOI BibTeX RDF
15	Jon Peterson, Sean Turner	Secure Telephone Identity Credentials: Certificates.	RFC	2018	DBLP DOI BibTeX RDF
15	Panos Kampanakis, Peter Panburana, Ellie Daw, Daniel Van Geest	The Viability of Post-quantum X.509 Certificates.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
15	Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Leonardo T. D. Ferraz, Marcos V. M. Silva	A privacy-preserving method for temporarily linking/revoking pseudonym certificates in vehicular networks.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
15	Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Marcos V. M. Silva	ACPC: Efficient revocation of pseudonym certificates using activation codes.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
15	Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Leonardo T. D. Ferraz, Marcos V. M. Silva	Privacy-preserving linkage/revocation of VANET certificates without LAs.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
15	Francisco J. Duarte, Bruno Martins 0001, Cátia Sousa Pinto, Mário J. Silva	Deep neural models for ICD-10 coding of death certificates and autopsy reports in free-text.	J. Biomed. Informatics	2018	DBLP DOI BibTeX RDF
15	Rosario Giustolisi, Giampaolo Bella, Gabriele Lenzini	Invalid certificates in modern browsers: A socio-technical analysis.	J. Comput. Secur.	2018	DBLP DOI BibTeX RDF
15	Dominik Schürmann, Georg von Zengen, Marvin Priedigkeit, Sebastian Willenborg, Lars C. Wolf	μDTNSec: a security layer with lightweight certificates for Disruption-Tolerant Networks on microcontrollers.	Ann. des Télécommunications	2018	DBLP DOI BibTeX RDF
15	Bugra Çaskurlu, Matthew D. Williamson, K. Subramani 0001, Vahan Mkrtchyan	On approximating optimal weight "no"-certificates in weighted difference constraint systems.	J. Comb. Optim.	2018	DBLP DOI BibTeX RDF
15	Daniela Napoli, Sonia Chiasson	Assessing Non-Visual SSL Certificates with Desktop and Mobile Screen Readers.	CCS	2018	DBLP DOI BibTeX RDF
15	HyukSang Kwon, Shahid Raza, JeongGil Ko	POSTER: On Compressing PKI Certificates for Resource Limited Internet of Things Devices.	AsiaCCS	2018	DBLP DOI BibTeX RDF
15	Ivan Torroledo, Luis David Camacho, Alejandro Correa Bahnsen	Hunting Malicious TLS Certificates with Deep Neural Networks.	AISec@CCS	2018	DBLP DOI BibTeX RDF
15	Seyedehmahsa Moosavi, Jeremy Clark	Ghazal: Toward Truly Authoritative Web Certificates Using Ethereum.	Financial Cryptography Workshops	2018	DBLP DOI BibTeX RDF
15	Gaurav Nanda, Nathan M. Hicks, David R. Waller, Kerrie Anna Douglas, Dan Goldwasser	Understanding Learners' Opinion about Participation Certificates in Online Courses using Topic Modeling.	EDM	2018	DBLP BibTeX RDF
15	Li Wang 0050, Evangelos A. Theodorou, Magnus Egerstedt	Safe Learning of Quadrotor Dynamics Using Barrier Certificates.	ICRA	2018	DBLP DOI BibTeX RDF
15	Anqi Li, Li Wang 0050, Pietro Pierpaoli, Magnus Egerstedt	Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates.	IROS	2018	DBLP DOI BibTeX RDF
15	Eric Squires, Pietro Pierpaoli, Magnus Egerstedt	Constructive Barrier Certificates with Applications to Fixed-Wing Aircraft Collision Avoidance.	CCTA	2018	DBLP DOI BibTeX RDF
15	Manuel Töws, Heike Wehrheim	Information Flow Certificates.	ICTAC	2018	DBLP DOI BibTeX RDF
15	Marc-Oliver Pahl, Lorenzo Donini	Securing IoT microservices with certificates.	NOMS	2018	DBLP DOI BibTeX RDF
15	Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer	Vector Barrier Certificates and Comparison Systems.	FM	2018	DBLP DOI BibTeX RDF
15	Paul J. E. Velthuis, Marcel Schäfer, Martin Steinebach	New authentication concept using certificates for big data analytic tools.	ARES	2018	DBLP DOI BibTeX RDF
15	Azad Ghaffari, Imoleayo Abel, Daniel Ricketts 0001, Sorin Lerner, Miroslav Krstic	Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold.	ACC	2018	DBLP DOI BibTeX RDF
15	Li Wang 0050, Dongkun Han, Magnus Egerstedt	Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares.	ACC	2018	DBLP DOI BibTeX RDF
15	Kim Peter Wabersich, Melanie N. Zeilinger	Scalable synthesis of safety certificates from data with application to learning-based control.	ECC	2018	DBLP DOI BibTeX RDF
15	Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.	ATVA	2018	DBLP DOI BibTeX RDF
15	Mohamadreza Ahmadi, Bo Wu 0005, Hai Lin 0002, Ufuk Topcu	Privacy Verification in POMDPs via Barrier Certificates.	CDC	2018	DBLP DOI BibTeX RDF
15	Mohamed Maghenem, Ricardo G. Sanfelice	Barrier Function Certificates for Forward Invariance in Hybrid Inclusions.	CDC	2018	DBLP DOI BibTeX RDF
15	Mohit Srinivasan, Samuel Coogan 0001, Magnus Egerstedt	Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic.	CDC	2018	DBLP DOI BibTeX RDF
15	Kevin Borgolte, Tobias Fiebig, Shuang Hao, Christopher Kruegel, Giovanni Vigna	Cloud Strife: Mitigating the Security Risks of Domain-Validated Certificates.	NDSS	2018	DBLP BibTeX RDF
15	Hung-Yu Chien	Dynamic Public Key Certificates for IoT and WSN Scenarios.	COMPSAC (2)	2018	DBLP DOI BibTeX RDF
15	Stanley Bak	t-Barrier Certificates: A Continuous Analogy to k-Induction.	ADHS	2018	DBLP DOI BibTeX RDF
15	HyukSang Kwon, JeongGil Ko	LightCert: Designing Smaller Certificates for the Internet of Things Devices.	MobiSys	2018	DBLP DOI BibTeX RDF
15	Tomás Peitl, Friedrich Slivovsky, Stefan Szeider	Polynomial-Time Validation of QCDCL Certificates.	SAT	2018	DBLP DOI BibTeX RDF
15	Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu	Verification of Uncertain POMDPs Using Barrier Certificates.	Allerton	2018	DBLP DOI BibTeX RDF
15	Julia Ive, Natalia Viani, David Chandran, André Bittar, Sumithra Velupillai	KCL-Health-NLP@CLEF eHealth 2018 Task 1: ICD-10 Coding of French and Italian Death Certificates with Character-Level Convolutional Neural Networks.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
15	Rémi Flicoteaux	ECSTRA-APHP @ CLEF eHealth2018-task 1: ICD10 Code Extraction from Death Certificates.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
15	Mario Almagro, Soto Montalvo, Arantza Díaz de Ilarraza, Alicia Pérez	MAMTRA-MED at CLEF eHealth 2018: A Combination of Information Retrieval Techniques and Neural Networks for ICD-10 Coding of Death Certificates.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
15	Aurélie Névéol, Aude Robert, Francesco Grippo, Claire Morgand, Chiara Orsi, Laszlo Pelikan, Lionel Ramadier, Grégoire Rey, Pierre Zweigenbaum	CLEF eHealth 2018 Multilingual Information Extraction Task Overview: ICD10 Coding of Death Certificates in French, Hungarian and Italian.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
15	Sébastien Cossin, Vianney Jouhet, Fleur Mougin, Gayo Diallo, Frantz Thiessard	IAM at CLEF eHealth 2018 : Concept Annotation and Coding in French Death Certificates.	CLEF (Working Notes)	2018	DBLP BibTeX RDF
15	Mingxin Cui, Zigang Cao, Gang Xiong 0001	How Is the Forged Certificates in the Wild: Practice on Large-Scale SSL Usage Measurement and Analysis.	ICCS (3)	2018	DBLP DOI BibTeX RDF
15	Marcos Antonio Simplicio Junior, Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Leonardo T. D. Ferraz, Marcos Vinicius Maciel da Silva	Privacy-Preserving Method for Temporarily Linking/Revoking Pseudonym Certificates in VANETs.	TrustCom/BigDataSE	2018	DBLP DOI BibTeX RDF
15	Raphaël Cauderlier	Tactics and Certificates in Meta Dedukti.	ITP	2018	DBLP DOI BibTeX RDF
15	Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem	Left-Eigenvectors Are Certificates of the Orbit Problem.	RP	2018	DBLP DOI BibTeX RDF
15	Martin Ukrop, Vashek Matyas	Why Johnny the Developer Can't Work with Public Key Certificates - An Experimental Study of OpenSSL Usability.	CT-RSA	2018	DBLP DOI BibTeX RDF
15	Kevin Borgolte, Tobias Fiebig, Shuang Hao, Christopher Kruegel, Giovanni Vigna	Cloud Strife: Mitigating the Security Risks of Domain-Validated Certificates.	ANRW	2018	DBLP DOI BibTeX RDF
15	Bevan Koopman, Anthony N. Nguyen, Danica Cossio, Mary-Jane Courage, Gary Francois	Extracting Cancer Mortality Statistics from Free-text Death Certificates: A View from the Trenches.	ADCS	2018	DBLP DOI BibTeX RDF
15	Salomé Eriksson, Gabriele Röger, Malte Helmert	Inductive Certificates of Unsolvability for Domain-Independent Planning.	IJCAI	2018	DBLP DOI BibTeX RDF
15	Jean-Guillaume Dumas	Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk).	CASC	2018	DBLP DOI BibTeX RDF
15	Ryan A. Hoffman, Janani Venugopalan, Li Qu, Hang Wu, May D. Wang	Improving Validity of Cause of Death on Death Certificates.	BCB	2018	DBLP DOI BibTeX RDF
15	Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit	Automated generation of dynamics-based runtime certificates for high-level control.	Discret. Event Dyn. Syst.	2017	DBLP DOI BibTeX RDF
15	Hao-Hao Nie, Yan-Ping Li, Qian-Hong Wu	A Privacy-Preserving V2I Authentication Scheme Without Certificates.	J. Inf. Sci. Eng.	2017	DBLP BibTeX RDF
15	Javad Khazaei, Michael Coulon, Warren B. Powell	ADAPT: A Price-Stabilizing Compliance Policy for Renewable Energy Certificates: The Case of SREC Markets.	Oper. Res.	2017	DBLP DOI BibTeX RDF