Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Ali Salamati, Majid Zamani 0001	Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach.	L4DC	2022	DBLP BibTeX RDF
15	Thomas T. C. K. Zhang, Stephen Tu, Nicholas M. Boffi, Jean-Jacques E. Slotine, Nikolai Matni	Adversarially Robust Stability Certificates can be Sample-Efficient.	L4DC	2022	DBLP BibTeX RDF
15	Marcel Bezdrighin, Michael Elkin, Mohsen Ghaffari 0001, Christoph Grunau, Bernhard Haeupler, Saeed Ilchi, Václav Rozhon	Deterministic Distributed Sparse and Ultra-Sparse Spanners and Connectivity Certificates.	SPAA	2022	DBLP DOI BibTeX RDF
15	Jun Xia, Ming Hu 0003, Xin Chen, Mingsong Chen	Accelerated synthesis of neural network-based barrier certificates using collaborative learning.	DAC	2022	DBLP DOI BibTeX RDF
15	Panos Kampanakis, Michael G. Kallitsis	Faster Post-Quantum TLS Handshakes Without Intermediate CA Certificates.	CSCML	2022	DBLP DOI BibTeX RDF
15	Tareq Hamadneh, Jochen Merker, Willi Schimmel, Gregor Schuldt	Simplicial Bernstein form and positivity certificates for solutions obtained in a stationary digital twin by Bernstein Bubnov-Galerkin method.	ICoMS	2022	DBLP DOI BibTeX RDF
15	Simon Jantsch	Certificates and Witnesses for Probabilistic Model Checking.		2022	RDF
15	Ngoc Hoang Anh Mai	Practical polynomial optimization through positivity certificates with and without denominators. (Optimisation polynomiale effective via des certificats de positivité avec ou sans dénominateurs).		2022	RDF
15	Siyuan Liu, Majid Zamani 0001	Verification of Approximate Opacity via Barrier Certificates.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
15	Ulrich Gallersdörfer, Jan-Niklas Strugala, Florian Matthes	Efficient Onboarding and Management of Members in Permissioned Blockchain Networks Utilizing TLS Certificates.	Frontiers Blockchain	2021	DBLP DOI BibTeX RDF
15	Paulino José García Nieto, Esperanza García Gonzalo, José Pablo Paredes-Sánchez, Antonio Bernardo Sánchez	A new hybrid model to foretell thermal power efficiency from energy performance certificates at residential dwellings applying a Gaussian process regression.	Neural Comput. Appl.	2021	DBLP DOI BibTeX RDF
15	Sebastiano Vitali, Vittorio Moriggia	Pension fund management with investment certificates and stochastic dominance.	Ann. Oper. Res.	2021	DBLP DOI BibTeX RDF
15	María Pérez-Ortiz 0001, Omar Rivasplata, John Shawe-Taylor, Csaba Szepesvári	Tighter Risk Certificates for Neural Networks.	J. Mach. Learn. Res.	2021	DBLP BibTeX RDF
15	Hayato Dan, Takeshi Hatanaka, Junya Yamauchi, Takumi Shimizu, Masayuki Fujita	Persistent Object Search and Surveillance Control With Safety Certificates for Drone Networks Based on Control Barrier Functions.	Frontiers Robotics AI	2021	DBLP DOI BibTeX RDF
15	Majid Jahani, Naga Venkata C. Gudapati, Chenxin Ma, Rachael Tappenden, Martin Takác 0001	Fast and safe: accelerated gradient methods with optimality certificates and underestimate sequences.	Comput. Optim. Appl.	2021	DBLP DOI BibTeX RDF
15	Yuji Sakurai, Takuya Watanabe 0001, Tetsuya Okuda, Mitsuaki Akiyama, Tatsuya Mori	Identifying the Phishing Websites Using the Patterns of TLS Certificates.	J. Cyber Secur. Mobil.	2021	DBLP DOI BibTeX RDF
15	Georgios Karopoulos, José Luis Hernández Ramos, Vasileios Kouliaridis, Georgios Kambourakis	A Survey on Digital Certificates Approaches for the COVID-19 Pandemic.	IEEE Access	2021	DBLP DOI BibTeX RDF
15	Wolfgang Gawlik, Jürgen Marchgraber, Yi Guo	Inertia Certificates - Möglichkeiten zur Gewährleistung von ausreichender Momentanreserve im Verbundsystem.	Elektrotech. Informationstechnik	2021	DBLP DOI BibTeX RDF
15	María A. Baamonde-Seoane, María del Carmen Calvo-Garrido, Michael Coulon, Carlos Vázquez 0002	Numerical solution of a nonlinear PDE model for pricing Renewable Energy Certificates (RECs).	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
15	Minmei Wang, Chen Qian 0001, Xin Li 0057, Shouqian Shi, Shigang Chen	Collaborative Validation of Public-Key Certificates for IoT by Distributed Caching.	IEEE/ACM Trans. Netw.	2021	DBLP DOI BibTeX RDF
15	Pushpak Jagtap, Sadegh Soudjani, Majid Zamani 0001	Formal Synthesis of Stochastic Systems via Control Barrier Certificates.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
15	José Luis Hernández Ramos, Georgios Karopoulos, Dimitris Geneiatakis, Tania Martin, Georgios Kambourakis, Igor Nai Fovino	Sharing Pandemic Vaccination Certificates through Blockchain: Case Study and Performance Evaluation.	Wirel. Commun. Mob. Comput.	2021	DBLP DOI BibTeX RDF
15	Maria Papadaki, Ioannis Karamitsos, Marinos Themistocleous	ViewpointCovid-19 digital test certificates and blockchain.	J. Enterp. Inf. Manag.	2021	DBLP DOI BibTeX RDF
15	Tim Mitchell	Fast Interpolation-Based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability.	SIAM J. Matrix Anal. Appl.	2021	DBLP DOI BibTeX RDF
15	Amitabh Basu, Tongtong Chen, Michele Conforti, Hongyi Jiang	Helly systems and certificates in optimization.	CoRR	2021	DBLP BibTeX RDF
15	Zengyi Qin, Kaiqing Zhang, Yuxiao Chen 0001, Jingkai Chen, Chuchu Fan	Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Dmitry Chistikov 0001, Rupak Majumdar, Philipp Schepper	Subcubic Certificates for CFL Reachability.	CoRR	2021	DBLP BibTeX RDF
15	Yuping Luo, Tengyu Ma 0001	Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations.	CoRR	2021	DBLP BibTeX RDF
15	Mahathi Anand, Abolfazl Lavaei, Majid Zamani 0001	From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.	CoRR	2021	DBLP BibTeX RDF
15	Mahathi Anand, Abolfazl Lavaei, Majid Zamani 0001	Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.	CoRR	2021	DBLP BibTeX RDF
15	Christian Sprecher, Marc Fischer 0002, Dimitar I. Dimitrov, Gagandeep Singh 0001, Martin T. Vechev	Shared Certificates for Neural Network Verification.	CoRR	2021	DBLP BibTeX RDF
15	Saber Jafarpour, Matthew Abate, Alexander Davydov 0001, Francesco Bullo, Samuel Coogan 0001	Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach.	CoRR	2021	DBLP BibTeX RDF
15	Mwrwan Abubakar, Pádraig McCarron, Zakwan Jaroucheh, Ahmed Al-Dubai 0001, William J. Buchanan	Blockchain-based Platform for Secure Sharing and Validation of Vaccination Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Dimitrios Georgoulias, Jens Myrup Pedersen, Morten Falch, Emmanouil Vasilomanolakis	COVID-19 vaccination certificates in the Darkweb.	CoRR	2021	DBLP BibTeX RDF
15	Filippo Fabiani, Kostas Margellos, Paul J. Goulart	Probabilistic stabilizability certificates for a class of black-box linear systems.	CoRR	2021	DBLP BibTeX RDF
15	François Bachoc, Tommaso Renato Cesari, Sébastien Gerchinovitz	Instance-Dependent Bounds for Zeroth-order Lipschitz Optimization with Error Certificates.	CoRR	2021	DBLP DOI BibTeX RDF
15	Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001	Data-driven verification and synthesis of stochastic systems through barrier certificates.	CoRR	2021	DBLP BibTeX RDF
15	José Luis Hernández Ramos, Georgios Karopoulos, Dimitris Geneiatakis, Tania Martin, Georgios Kambourakis, Igor Nai Fovino	Sharing pandemic vaccination certificates through blockchain: Case study and performance evaluation.	CoRR	2021	DBLP BibTeX RDF
15	Marvin Kowalewski, Franziska Herbert, Theodor Schnitzler, Markus Dürmuth	Proof-of-Vax: Studying User Preferences and Perception of Covid Vaccination Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Mahathi Anand, Pushpak Jagtap, Majid Zamani 0001	Verification of Switched Stochastic Systems via Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Yue Meng, Zengyi Qin, Chuchu Fan	Reactive and Safe Road User Simulations using Neural Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001	Data-driven Safety Verification of Stochastic Systems via Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Athindran Ramesh Kumar, Sulin Liu, Jaime F. Fisac, Ryan P. Adams, Peter J. Ramadge	ProBF: Learning Probabilistic Safety Certificates with Barrier Functions.	CoRR	2021	DBLP BibTeX RDF
15	Thomas T. C. K. Zhang, Stephen Tu, Nicholas M. Boffi, Jean-Jacques E. Slotine, Nikolai Matni	Adversarially Robust Stability Certificates can be Sample-Efficient.	CoRR	2021	DBLP BibTeX RDF
15	Ilias Politis, Christos Xenakis, Adarbad Master, John Polley	On an innovative architecture for digital immunity passports and vaccination certificates.	CoRR	2021	DBLP BibTeX RDF
15	Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen	Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.	CoRR	2021	DBLP BibTeX RDF
15	Amin Gholami, Xu Andy Sun	Stability of Multi-Microgrids: New Certificates, Distributed Control, and Braess's Paradox.	CoRR	2021	DBLP BibTeX RDF
15	Azad Ghaffari, Manavendra Desai	Safety-Control of Mobile Robots Under Time-Delay Using Barrier Certificates and a Two-Layer Predictor.	CoRR	2021	DBLP BibTeX RDF
15	Siyuan Liu, Majid Zamani 0001	Verification of Approximate Opacity via Barrier Certificates.	CoRR	2021	DBLP BibTeX RDF
15	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random".	CoRR	2021	DBLP BibTeX RDF
15	Jinnan Fan, Fabian Willems, Jafar Zahed, John Gray, Serge Mister, Mike Ounsworth, Carlisle Adams	Impact of post-quantum hybrid certificates on PKI, common libraries, and protocols.	Int. J. Secur. Networks	2021	DBLP DOI BibTeX RDF
15	Yaron Sheffer, Diego R. López, Antonio Pastor Perales, Thomas Fossati	An Automatic Certificate Management Environment (ACME) Profile for Generating Delegated Certificates.	RFC	2021	DBLP DOI BibTeX RDF
15	Russ Housley	Enhanced JSON Web Token (JWT) Claim Constraints for Secure Telephone Identity Revisited (STIR) Certificates.	RFC	2021	DBLP DOI BibTeX RDF
15	Alexey Melnikov 0001	Extensions to Automatic Certificate Management Environment for End-User S/MIME Certificates.	RFC	2021	DBLP DOI BibTeX RDF
15	Luis Adrián Lizama-Pérez, José Mauricio López-Romero	Non-Invertible Public Key Certificates.	Entropy	2021	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.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
15	Zhiqiang Gao, Shufei Zhang, Kaizhu Huang, Qiufeng Wang, Chaoliang Zhong	Gradient Distribution Alignment Certificates Better Adversarial Domain Adaptation.	ICCV	2021	DBLP DOI BibTeX RDF
15	Faraz Masood, Arman Rasool Faridi	A Blockchain Framework to Increase the Security and Verifiability of Educational Certificates.	ACeS	2021	DBLP DOI BibTeX RDF
15	Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen	Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.	CAV (1)	2021	DBLP DOI BibTeX RDF
15	Mwrwan Abubakar, Pádraig McCarron, Zakwan Jaroucheh, Ahmed Yassin Al-Dubai, Bill Buchanan 0001	Blockchain-based Platform for Secure Sharing and Validation of Vaccination Certificates.	SIN	2021	DBLP DOI BibTeX RDF
15	Yue Meng, Zengyi Qin, Chuchu Fan	Reactive and Safe Road User Simulations using Neural Barrier Certificates.	IROS	2021	DBLP DOI BibTeX RDF
15	Wanling Huang, Jingqiang Lin, Qiongxiao Wang, Yajun Teng, Huiqing Wan, Wei Wang 0314	Certificate Transparency for ECQV Implicit Certificates.	ICC	2021	DBLP DOI BibTeX RDF
15	Pengcheng You, Enrique Mallada	Saddle Flow Dynamics: Observable Certificates and Separable Regularization.	ACC	2021	DBLP DOI BibTeX RDF
15	Azad Ghaffari	Modular Safety Control for Mobile Robots Using Barrier Certificates and Modified Feedback.	ACC	2021	DBLP DOI BibTeX RDF
15	Siyuan Liu, Majid Zamani 0001	Verification of Approximate Opacity via Barrier Certificates.	ACC	2021	DBLP DOI BibTeX RDF
15	Hoang Hai Nguyen, Tim Zieger, Sandra C. Wells, Anastasia Nikolakopoulou, Richard D. Braatz, Rolf Findeisen	Stability Certificates for Neural Network Learning-based Controllers using Robust Control Theory.	ACC	2021	DBLP DOI BibTeX RDF
15	Qingye Zhao, Xin Chen 0027, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li	Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.	HSCC	2021	DBLP DOI BibTeX RDF
15	Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo	FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.	HSCC	2021	DBLP DOI BibTeX RDF
15	Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo	A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
15	Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.	CDC	2021	DBLP DOI BibTeX RDF
15	Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001	Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.	ADHS	2021	DBLP DOI BibTeX RDF
15	Wenya Wang, Yakang Li, Chao Wang, Yuan Yan, Juanru Li, Dawu Gu	Re-Check Your Certificates! Experiences and Lessons Learnt from Real-World HTTPS Certificate Deployments.	NSS	2021	DBLP DOI BibTeX RDF
15	Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess	Proof Search and Certificates for Evidential Transactions.	CADE	2021	DBLP DOI BibTeX RDF
15	Khaled Hamouid, Mawloud Omar, Kamel Adi	A Privacy-Preserving Authentication Model Based on Anonymous Certificates in IoT.	WD	2021	DBLP DOI BibTeX RDF
15	Marco Oliveira, Tomás Honório, Catarina I. Reis, Marisa Maximiano	Immunity Passport Ledger - Digital Certificates Implemented on a Permissioned Blockchain.	IBICA	2021	DBLP DOI BibTeX RDF
15	Andrea Peruffo, Daniele Ahmed, Alessandro Abate	Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.	TACAS (1)	2021	DBLP DOI BibTeX RDF
15	Manohar Raavi, Pranav Chandramouli, Simeon Wuthier, Xiaobo Zhou 0002, Sang-Yoon Chang	Performance Characterization of Post-Quantum Digital Certificates.	ICCCN	2021	DBLP DOI BibTeX RDF
15	Diana Berbecaru	Verification of X.509 Attribute Certificates for Attribute-based Authorization: A Practical Approach.	ICSTCC	2021	DBLP DOI BibTeX RDF
15	Wei Xia, Wei Wang 0314, Xin He, Gang Xiong 0001, Gaopeng Gou, Zhenzhen Li, Zhen Li 0011	Old Habits Die Hard: A Sober Look at TLS Client Certificates in the Real World.	TrustCom	2021	DBLP DOI BibTeX RDF
15	Gazi Abdur Rakib, Mohammad Saiful Islam, Md. Abdur Rahman, Syed Maruf Abdullah, M. Shamim Hossain, Nabil Ali Alrajeh, Abdulmotaleb El-Saddik	DeepHealth: A Secure Framework to Manage Health Certificates Through Medical IoT, Blockchain and Deep Learning.	MeMeA	2021	DBLP DOI BibTeX RDF
15	Mark Foy, Dolores Martyn, Debra Daly, Aoife Byrne, Chinwe Aguneche, Rob Brennan	Blockchain-based governance models for COVID-19 digital health certificates: A legal, technical, ethical and security requirements analysis.	EUSPN/ICTH	2021	DBLP DOI BibTeX RDF
15	Maria Macchiaroli, Luigi Dolores, Luigi Nicodemo, Gianluigi De Mare	Energy Efficiency in the Management of the Integrated Water Service. A Case Study on the White Certificates Incentive System.	ICCSA (8)	2021	DBLP DOI BibTeX RDF
15	François Bachoc, Tommaso Cesari, Sébastien Gerchinovitz	Instance-Dependent Bounds for Zeroth-order Lipschitz Optimization with Error Certificates.	NeurIPS	2021	DBLP BibTeX RDF
15	Yuping Luo, Tengyu Ma 0001	Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations.	NeurIPS	2021	DBLP BibTeX RDF
15	Ioannis Karamitsos, Maria Papadaki	Blockchain Digital Test Certificates for COVID-19.	MMBD/MLIS	2021	DBLP DOI BibTeX RDF
15	Shahriar Karim Shawon, Hosnain Ahammad, Shumrose Zaman Shetu, Md. Mahfujur Rahman, Syed Akhter Hossain	DIUcerts DApp: A Blockchain-based Solution for Verification of Educational Certificates.	ICCCNT	2021	DBLP DOI BibTeX RDF
15	Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich	Compact Certificates of Collective Knowledge.	SP	2021	DBLP DOI BibTeX RDF
15	Xiongfei Zhao, Yain-Whar Si	NFTCert: NFT-Based Certificates With Online Payment Gateway.	Blockchain	2021	DBLP DOI BibTeX RDF
15	Zengyi Qin, Kaiqing Zhang, Yuxiao Chen 0001, Jingkai Chen, Chuchu Fan	Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates.	ICLR	2021	DBLP BibTeX RDF
15	Jan Schuchardt, Aleksandar Bojchevski, Johannes Klicpera, Stephan Günnemann	Collective Robustness Certificates: Exploiting Interdependence in Graph Neural Networks.	ICLR	2021	DBLP BibTeX RDF
15	Meng Sha, Xin Chen 0027, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li	Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.	DAC	2021	DBLP DOI BibTeX RDF
15	Matthieu Py	Inférence et certificats pour le problème de satisfiabilité maximum. (Inference and certificates for the maximum satisfiability problem).		2021	RDF
15	Ameneh Nejati, Sadegh Soudjani, Majid Zamani 0001	Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.	IEEE Control. Syst. Lett.	2020	DBLP DOI BibTeX RDF
15	Muhamed Turkanovic, Blaz Podgorelec	Signing Blockchain Transactions Using Qualified Certificates.	IEEE Internet Comput.	2020	DBLP DOI BibTeX RDF
15	Chris Coey, Miles Lubin, Juan Pablo Vielma	Outer approximation with conic certificates for mixed-integer convex problems.	Math. Program. Comput.	2020	DBLP DOI BibTeX RDF
15	Haya R. Hasan, Khaled Salah 0001, Raja Jayaraman, Junaid Arshad, Ibrar Yaqoob, Mohammed A. Omar, Samer Ellahham	Blockchain-Based Solution for COVID-19 Digital Medical Passports and Immunity Certificates.	IEEE Access	2020	DBLP DOI BibTeX RDF
15	Linbin Huang, Huanhai Xin, Florian Dörfler	H∞-Control of Grid-Connected Converters: Design, Objectives and Decentralized Stability Certificates.	IEEE Trans. Smart Grid	2020	DBLP DOI BibTeX RDF
15	Patrick L. Combettes, Jean-Christophe Pesquet	Lipschitz Certificates for Layered Network Structures Driven by Averaged Activation Operators.	SIAM J. Math. Data Sci.	2020	DBLP DOI BibTeX RDF
15	Andrea Peruffo, Daniele Ahmed, Alessandro Abate	Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.	CoRR	2020	DBLP BibTeX RDF