Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Amin Ghiasi, Ali Shafahi, Tom Goldstein	Breaking certified defenses: Semantic adversarial examples with spoofed robustness certificates.	CoRR	2020	DBLP BibTeX RDF
15	Victor Magron, Jie Wang 0037	SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming.	CoRR	2020	DBLP BibTeX RDF
15	Wanxin Jin, Zhaoran Wang 0001, Zhuoran Yang, Shaoshuai Mou	Neural Certificates for Safe Control Policies.	CoRR	2020	DBLP BibTeX RDF
15	María Pérez-Ortiz 0001, Omar Rivasplata, John Shawe-Taylor, Csaba Szepesvári	Tighter risk certificates for neural networks.	CoRR	2020	DBLP BibTeX RDF
15	Aleksandar Bojchevski, Johannes Klicpera, Stephan Günnemann	Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More.	CoRR	2020	DBLP BibTeX RDF
15	Alexander Levine 0001, Aounon Kumar, Thomas A. Goldstein, Soheil Feizi	Tight Second-Order Certificates for Randomized Smoothing.	CoRR	2020	DBLP BibTeX RDF
15	Nicholas M. Boffi, Stephen Tu, Nikolai Matni, Jean-Jacques E. Slotine, Vikas Sindhwani	Learning Stability Certificates from Data.	CoRR	2020	DBLP BibTeX RDF
15	Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001	Learning Safe Neural Network Controllers with Barrier Certificates.	CoRR	2020	DBLP BibTeX RDF
15	Tatiana Lopez-Guevara, Michael Burke, Nicholas K. Taylor, Kartic Subr	IV-Posterior: Inverse Value Estimation for Interpretable Policy Certificates.	CoRR	2020	DBLP BibTeX RDF
15	Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh	Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.	CoRR	2020	DBLP BibTeX RDF
15	Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna	A Blockchain based and GDPR-compliant design of a system for digital education certificates.	CoRR	2020	DBLP BibTeX RDF
15	Ameneh Nejati, Sadegh Soudjani, Majid Zamani 0001	Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.	CoRR	2020	DBLP BibTeX RDF
15	Grigory Devadze, Victor Magron, Stefan Streif	Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis.	CoRR	2020	DBLP BibTeX RDF
15	Tom Hirshberg, Sai Vemprala, Ashish Kapoor	Safety Considerations in Deep Control Policies with Probabilistic Safety Barrier Certificates.	CoRR	2020	DBLP BibTeX RDF
15	Brian Hu Zhang, Tuomas Sandholm	Small Nash Equilibrium Certificates in Very Large Games.	CoRR	2020	DBLP BibTeX RDF
15	Pawel Szalachowski	SmartCert: Redesigning Digital Certificates with Smart Contracts.	CoRR	2020	DBLP BibTeX RDF
15	Pouyan Fotouhi Tehrani, Eric Osterweil, Jochen H. Schiller, Thomas C. Schmidt, Matthias Wählisch	Who ya gonna call? (Alerting Authorities): Measuring Namespaces, Web Certificates, and DNSSEC.	CoRR	2020	DBLP BibTeX RDF
15	Tommaso d'Orsi, Pravesh K. Kothari, Gleb Novikov, David Steurer	Sparse PCA: Algorithms, Adversarial Perturbations and Certificates.	CoRR	2020	DBLP BibTeX RDF
15	Chris Hicks, David Butler 0002, Carsten Maple, Jon Crowcroft	SecureABC: Secure AntiBody Certificates for COVID-19.	CoRR	2020	DBLP BibTeX RDF
15	Auqib Hamid Lone, Roohie Naaz Mir	Forgery Protection of Academic Certificates through Integrity Preservation at Scale using Ethereum Smart Contract.	Scalable Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
15	Mounira Msahli, Nancy Cam-Winget, William Whyte, Ahmed Serhrouchni, Houda Labiod	TLS Authentication Using Intelligent Transport System (ITS) Certificates.	RFC	2020	DBLP DOI BibTeX RDF
15	Yaron Sheffer, Diego R. López, Óscar González de Dios, Antonio Pastor Perales, Thomas Fossati	Support for Short-Term, Automatically Renewed (STAR) Certificates in the Automated Certificate Management Environment (ACME).	RFC	2020	DBLP DOI BibTeX RDF
15	Fabian Knirsch, Clemens Brunner 0002, Andreas Unterweger, Dominik Engel	Decentralized and permission-less green energy certificates with GECKO.	Energy Inform.	2020	DBLP DOI BibTeX RDF
15	Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich	Compact Certificates of Collective Knowledge.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
15	Thomas A. Wikle, Diana Sinton	The administration of academic GIS certificates: A survey of program coordinators.	Trans. GIS	2020	DBLP DOI BibTeX RDF
15	Tuukka Mustapää, Pekka Nikander, Daniel Hutzschenreuter, Raine Viitala	Metrological Challenges in Collaborative Sensing: Applicability of Digital Calibration Certificates.	Sensors	2020	DBLP DOI BibTeX RDF
15	Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas 0001, Clément Pernet	Elimination-based certificates for triangular equivalence and rank profiles.	J. Symb. Comput.	2020	DBLP DOI BibTeX RDF
15	Xin Chen 0027, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li	A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.	CAV (1)	2020	DBLP DOI BibTeX RDF
15	Stephen Wilson	A digital "Yellow Card" for securely recording vaccinations using Community PKI certificates.	ISTAS	2020	DBLP DOI BibTeX RDF
15	Telikepalli Kavitha, Tamás Király, Jannik Matuschke, Ildikó Schlotter, Ulrike Schmidt-Kraepelin	Popular Branchings and Their Dual Certificates.	IPCO	2020	DBLP DOI BibTeX RDF
15	Tomer Grossman, Ilan Komargodski, Moni Naor	Instance Complexity and Unlabeled Certificates in the Decision Tree Model.	ITCS	2020	DBLP DOI BibTeX RDF
15	Tom Hirshberg, Sai Vemprala, Ashish Kapoor	Safety Considerations in Deep Control Policies with Safety Barrier Certificates Under Uncertainty.	IROS	2020	DBLP DOI BibTeX RDF
15	Clifford Brown, Tommi Elo, Kristine Hovhannisyan, Daniel Hutzschenreuter, Petri Kuosmanen, Olaf Maennel, Tuukka Mustapää, Pekka Nikander, Thomas Wiedenhoefer	Infrastructure for Digital Calibration Certificates.	MetroInd4.0&IoT	2020	DBLP DOI BibTeX RDF
15	Francesco Pollicino, Dario Stabili, Luca Ferretti, Mirco Marchetti	An experimental analysis of ECQV implicit certificates performance in VANETs.	VTC Fall	2020	DBLP DOI BibTeX RDF
15	Marcus de Ree, Georgios Mantas, James Gao, Jonathan Rodriguez 0001, Ifiok E. Otung	Public Key Cryptography Without Certificates for Beyond 5G Mobile Small Cells.	CSNDSP	2020	DBLP DOI BibTeX RDF
15	Tommaso d'Orsi, Pravesh K. Kothari, Gleb Novikov, David Steurer	Sparse PCA: Algorithms, Adversarial Perturbations and Certificates.	FOCS	2020	DBLP DOI BibTeX RDF
15	Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001	Synthesizing barrier certificates using neural networks.	HSCC	2020	DBLP DOI BibTeX RDF
15	George Pantazis, Filiberto Fele, Kostas Margellos	Agent independent probabilistic robustness certificates for robust optimization programs with uncertain quadratic cost.	CDC	2020	DBLP DOI BibTeX RDF
15	Shengnan Zhang, Jiaxing Xuan, Zitong Lyu, Yuchen Fu	Application Prospect of Blockchain in Renewable Energy Certificates.	CSAE	2020	DBLP DOI BibTeX RDF
15	Joe Raad, Rick Mourits, Auke Rijpma, Ruben Schalk, Richard Zijdeman, Albert Meroño-Peñuela	Linking Dutch Civil Certificates.	WHiSe@ESWC	2020	DBLP BibTeX RDF
15	Nicholas M. Boffi, Stephen Tu, Nikolai Matni, Jean-Jacques E. Slotine, Vikas Sindhwani	Learning Stability Certificates from Data.	CoRL	2020	DBLP BibTeX RDF
15	Zhaoyang Lyu, Ching-Yun Ko, Zhifeng Kong, Ngai Wong, Dahua Lin, Luca Daniel	Fastened CROWN: Tightened Neural Network Robustness Certificates.	AAAI	2020	DBLP DOI BibTeX RDF
15	Alexander Levine 0001, Soheil Feizi	Robustness Certificates for Sparse Adversarial Attacks by Randomized Ablation.	AAAI	2020	DBLP DOI BibTeX RDF
15	Yuji Sakurai, Takuya Watanabe 0001, Tetsuya Okuda, Mitsuaki Akiyama, Tatsuya Mori	Discovering HTTPSified Phishing Websites Using the TLS Certificates Footprints.	EuroS&P Workshops	2020	DBLP DOI BibTeX RDF
15	Mahmood Al-Bahri, Salim Al-Wardi, Ravindra R. Dharamshi, Naeem Al-shukail, Ammar Muthanna	A Smart System Based on Digital Object Architecture to Verify the Diploma Certificates.	CCCI	2020	DBLP DOI BibTeX RDF
15	Florian Funke 0002, Simon Jantsch, Christel Baier	Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.	TACAS (1)	2020	DBLP DOI BibTeX RDF
15	Junzhi Yan, Xiaoyong Hang, Bo Yang, Li Su, Shen He	Blockchain based PKI and Certificates Management in Mobile Networks.	TrustCom	2020	DBLP DOI BibTeX RDF
15	Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh	Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.	IWOCA	2020	DBLP DOI BibTeX RDF
15	Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001	Learning Safe Neural Network Controllers with Barrier Certificates.	SETTA	2020	DBLP DOI BibTeX RDF
15	Wenhao Luo, Wen Sun, Ashish Kapoor	Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates.	NeurIPS	2020	DBLP BibTeX RDF
15	Brian Hu Zhang, Tuomas Sandholm	Small Nash Equilibrium Certificates in Very Large Games.	NeurIPS	2020	DBLP BibTeX RDF
15	Gaëtan Pradel, Chris J. Mitchell	Post-quantum Certificates for Electronic Travel Documents.	DETIPS/DeSECSys/MPS/SPOSE@ESORICS	2020	DBLP DOI BibTeX RDF
15	Dimcho Karakashev, Sergey Gorbunov 0001, Srinivasan Keshav	Making Renewable Energy Certificates Efficient, Trustworthy, and Anonymous.	SmartGridComm	2020	DBLP DOI BibTeX RDF
15	Antonio Welligton Abreu, Emanuel F. Coutinho, Carla I. M. Bezerra	A Blockchain-based Architecture for Query and Registration of Student Degree Certificates.	SBCARS	2020	DBLP DOI BibTeX RDF
15	Amin Ghiasi, Ali Shafahi, Tom Goldstein	Breaking Certified Defenses: Semantic Adversarial Examples with Spoofed robustness Certificates.	ICLR	2020	DBLP BibTeX RDF
15	Vincenzo Della Mea, Mihai Horia Popescu, Kevin Roitero	Underlying Cause of Death Identification from Death Certificates via Categorical Embeddings and Convolutional Neural Networks.	ICHI	2020	DBLP DOI BibTeX RDF
15	Shaozhuo Li, Na Wang, Xuehui Du, Xuan Li	Supervisable Anonymous Management of Digital Certificates for Blockchain PKI.	ICPCSEE (1)	2020	DBLP DOI BibTeX RDF
15	Aleksandar Bojchevski, Johannes Klicpera, Stephan Günnemann	Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More.	ICML	2020	DBLP BibTeX RDF
15	Chao Zhang, Donggang Yang, Chu Chen, Pinghong Ren	Checking Compliance of X.509 Digital Certificates over IPv6 with Specifications.	CIAT	2020	DBLP DOI BibTeX RDF
15	Nicholas Mainardi	From theoretical to real world cryptography: towards practical privacy-preserving outsourced computation and accurate parsing of digital certificates.		2020	RDF
15	Hee-Yong Kwon, Mun-Kyu Lee	Fast Verification of Signatures With Shared ECQV Implicit Certificates.	IEEE Trans. Veh. Technol.	2019	DBLP DOI BibTeX RDF
15	Iván García-Magariño, Sandra Sendra, Raquel Lacuesta, Jaime Lloret 0001	Security in Vehicles With IoT by Prioritization Rules, Vehicle Certificates, and Trust Management.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
15	Mohamed Eldefrawy, Nuno Pereira 0001, Mikael Gidlund	Key Distribution Protocol for Industrial Internet of Things Without Implicit Certificates.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
15	Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Harsh Kupwade Patil, Jefferson E. Ricardini, Marcos Vinicius Maciel da Silva	ACPC: Efficient revocation of pseudonym certificates using activation codes.	Ad Hoc Networks	2019	DBLP DOI BibTeX RDF
15	Vitaly V. Lapshichyov	TLS Certificates of the Tor Network and Their Distinctive Features.	Int. J. Syst. Softw. Secur. Prot.	2019	DBLP DOI BibTeX RDF
15	Zoë Bukovac, Graham Farr, Kerri Morgan	Short certificates for chromatic equivalence.	J. Graph Algorithms Appl.	2019	DBLP DOI BibTeX RDF
15	Yasmine Baghdadi, Alix Bourrée, Aude Robert, Grégoire Rey, Anne Gallay, Pierre Zweigenbaum, Cyril Grouin, Anne Fouillet	Automatic classification of free-text medical causes from death certificates for reactive mortality surveillance in France.	Int. J. Medical Informatics	2019	DBLP DOI BibTeX RDF
15	An Braeken	Pairing Free Certificate Based Signcryption Schemes Using ECQV Implicit Certificates.	KSII Trans. Internet Inf. Syst.	2019	DBLP DOI BibTeX RDF
15	Nina Bindel, Johannes Braun 0001, Luca Gladiator, Tobias Stöckert, Johannes Wirth 0002	X.509-Compliant Hybrid Certificates for the Post-Quantum Transition.	J. Open Source Softw.	2019	DBLP DOI BibTeX RDF
15	Tomer Grossman, Ilan Komargodski, Moni Naor	Instance Complexity and Unlabeled Certificates in the Decision Tree Model.	Electron. Colloquium Comput. Complex.	2019	DBLP BibTeX RDF
15	Hani Sami Brdesee	An Online Verification System of Students and Graduates Documents and Certificates: A Developed Strategy That Prevents Fraud Qualifications.	Int. J. Smart Educ. Urban Soc.	2019	DBLP DOI BibTeX RDF
15	Telikepalli Kavitha, Tamás Király, Jannik Matuschke, Ildikó Schlotter, Ulrike Schmidt-Kraepelin	Popular Branchings and Their Dual Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001	Formal Synthesis of Stochastic Systems via Control Barrier Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Zhaoyang Lyu, Ching-Yun Ko, Zhifeng Kong, Ngai Wong, Dahua Lin, Luca Daniel	Fastened CROWN: Tightened Neural Network Robustness Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger 0001, David A. Basin, Adrian Perrig	Proxy Certificates: The Missing Link in the Web's Chain of Trust.	CoRR	2019	DBLP BibTeX RDF
15	Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas 0001, Clément Pernet	Elimination-based certificates for triangular equivalence and rank profiles.	CoRR	2019	DBLP BibTeX RDF
15	Diana Berbecaru, Antonio Lioy	Towards Simplifying PKI Implementation: Client-Server based Validation of Public Key Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Tim Mitchell	Fast Interpolation-based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability.	CoRR	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.	CoRR	2019	DBLP BibTeX RDF
15	Wenhao Luo, Ashish Kapoor	Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark 0001, Linda Bushnell, Radha Poovendran	Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Florian Funke 0002, Simon Jantsch, Christel Baier	Farkas certificates and minimal witnesses for probabilistic reachability constraints.	CoRR	2019	DBLP BibTeX RDF
15	Sahil Singla 0002, Soheil Feizi	Robustness Certificates Against Adversarial Examples for ReLU Networks.	CoRR	2019	DBLP BibTeX RDF
15	Alexander Levine 0001, Soheil Feizi	Robustness Certificates for Sparse Adversarial Attacks by Randomized Ablation.	CoRR	2019	DBLP BibTeX RDF
15	Merav Parter	Small Cuts and Connectivity Certificates: A Fault Tolerant Approach.	CoRR	2019	DBLP BibTeX RDF
15	Tim Mitchell	Fast Computation of Sepλ via Interpolation-based Globality Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Linbin Huang, Huanhai Xin, Florian Dörfler	$H_{\infty}$-Control of Grid-Connected Converters: Design, Objectives and Decentralized Stability Certificates.	CoRR	2019	DBLP BibTeX RDF
15	Louis Falissard, Claire Morgand, Sylvie Roussel, Claire Imbaud, Walid Ghosn, Karim Bounebache, Grégoire Rey	A deep artificial neural network based model for underlying cause of death prediction from death certificates.	CoRR	2019	DBLP BibTeX RDF
15	Tim Seppelt	The Graph Isomorphism Problem: Local Certificates for Giant Action.	CoRR	2019	DBLP BibTeX RDF
15	Amir Ali Ahmadi, Georgina Hall	On the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global Positivity.	Math. Oper. Res.	2019	DBLP DOI BibTeX RDF
15	Cody Freitag, Ilan Komargodski, Rafael Pass	Non-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
15	Xuena An, Shaohua Zhang, Xue Li, Dajun Du	Two-stage joint equilibrium model of electricity market with tradable green certificates.	Trans. Inst. Meas. Control	2019	DBLP DOI BibTeX RDF
15	Wenda Li, Grant Olney Passmore, Lawrence C. Paulson	Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
15	Mario Almagro, Raquel Martínez 0001, Soto Montalvo, Víctor Fresno	A cross-lingual approach to automatic ICD-10 coding of death certificates by exploring machine translation.	J. Biomed. Informatics	2019	DBLP DOI BibTeX RDF
15	Richard Roberts, Yaelle Goldschlag, Rachel Walter, Taejoong Chung, Alan Mislove, Dave Levin	You Are Who You Appear to Be: A Longitudinal Study of Domain Impersonation in TLS Certificates.	CCS	2019	DBLP DOI BibTeX RDF
15	Iman Salehi, Gang Yao, Ashwin P. Dani	Active Sampling based Safe Identification of Dynamical Systems using Extreme Learning Machines and Barrier Certificates.	ICRA	2019	DBLP DOI BibTeX RDF
15	Bingyu Li, Wei Wang 0314, Lingjia Meng, Jingqiang Lin, Xuezhong Liu, Congli Wang	Elaphurus: Ensemble Defense Against Fraudulent Certificates in TLS.	Inscrypt	2019	DBLP DOI BibTeX RDF
15	Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark 0001, Linda Bushnell, Radha Poovendran	Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates.	GameSec	2019	DBLP DOI BibTeX RDF
15	Joachim Bard, Heiko Becker, Eva Darulova	Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.	FM	2019	DBLP DOI BibTeX RDF
15	Soumya Kundu, Sai Pushpak Nandanoori, Karan Kalsi, Sijia Geng, Ian A. Hiskens	Distributed Barrier Certificates for Safe Operation of Inverter-Based Microgrids.	ACC	2019	DBLP DOI BibTeX RDF