Search results for "property-preserving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Junhua Ding, Lian Mo, Xudong He	An approach for specification construction using property-preserving refinement patterns.	SAC	2008	DBLP DOI BibTeX RDF	software architecture, refinement, property-preserving
43	Mihir Bellare, Thomas Ristenpart	Multi-Property-Preserving Hash Domain Extension and the EMD Transform.	ASIACRYPT	2006	DBLP DOI BibTeX RDF	Merkle-Damgård, Hash functions, random oracle, pseudorandom function, collision-resistance
40	Duo Lei, Chao Li	Extended Multi-Property-Preserving and ECM-Construction.	INDOCRYPT	2007	DBLP DOI BibTeX RDF	Merkle-Damgård, almost uniform distribution, Hash functions, random oracle, pseudo random function, collision resistance
32	Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu 0001	Enhanced Target Collision Resistant Hash Functions Revisited.	FSE	2009	DBLP DOI BibTeX RDF	TCR, eTCR, Hash Functions, CR, Domain Extension
28	Marc Fischlin, Anja Lehmann	Multi-property Preserving Combiners for Hash Functions.	TCC	2008	DBLP DOI BibTeX RDF
28	Susanne Graf, Claire Loiseaux	Property Preserving Abstractions under Parallel Composition.	TAPSOFT	1993	DBLP DOI BibTeX RDF
22	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages
22	Ambuj K. Singh	Program Refinement in Fair Transition Systems.	PARLE (2)	1991	DBLP DOI BibTeX RDF
21	Nir Ailon, Bernard Chazelle, Seshadhri Comandur, Ding Liu	Property-Preserving Data Reconstruction.	Algorithmica	2008	DBLP DOI BibTeX RDF	Monotonicity testing, Sublinear algorithms
21	King Sing Cheung, K. O. Chow	Property-Preserving Composition of Distributed System Components.	APPT	2007	DBLP DOI BibTeX RDF
21	Fredrik Seehusen, Ketil Stølen	Information flow property preserving transformation of UML interaction diagrams.	SACMAT	2006	DBLP DOI BibTeX RDF	UML, refinement, model driven architecture, transformation, information flow security
21	Nir Ailon, Bernard Chazelle, Seshadhri Comandur, Ding Liu	Property-Preserving Data Reconstruction.	ISAAC	2004	DBLP DOI BibTeX RDF
21	Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis	Property Preserving Simulations.	CAV	1992	DBLP DOI BibTeX RDF
21	Milan Urbásek	Preserving Properties in System Redesign: Rule-Based Approach.	WADT	2002	DBLP DOI BibTeX RDF
19	Yevgeniy Dodis, Krzysztof Pietrzak, Prashant Puniya	A New Mode of Operation for Block Ciphers and Length-Preserving MACs.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
18	Mridul Nandi	Characterizing Padding Rules of MD Hash Functions Preserving Collision Security.	ACISP	2009	DBLP DOI BibTeX RDF	MD hash function, padding rule, suffix-free, collision resistant
17	Mohammad Reza Reyhanitabar, Willy Susilo, Yi Mu 0001	Analysis of Property-Preservation Capabilities of the ROX and ESh Hash Domain Extenders.	ACISP	2009	DBLP DOI BibTeX RDF	ROX, ESh, Hash Functions, MPP, Domain Extension
15	Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos	Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.	DALT	2008	DBLP DOI BibTeX RDF
15	Henrik Ejersbo Jensen, Nancy A. Lynch	A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction.	TACAS	1998	DBLP DOI BibTeX RDF
14	Jianqiang Xie, Zhiyue Zhang	Efficient high-order physical property-preserving difference methods for nonlinear fourth-order wave equation with damping.	Comput. Math. Appl.	2023	DBLP DOI BibTeX RDF
14	Johannes Koppenwallner, Erich Schikuta	A Survey on Property-Preserving Database Encryption Techniques in the Cloud.	CoRR	2023	DBLP DOI BibTeX RDF
14	Daniel Acosta-Soba, Francisco Guillén-González, José Rafael Rodríguez-Galván, Jin Wang	Property-preserving numerical approximations of a Cahn-Hilliard-Navier-Stokes model with variable densities and degenerate mobility.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jianqiang Xie, Xiao Yan, Muhammad Aamir Ali, Zakia Hammouch	A linear decoupled physical-property-preserving difference method for fractional-order generalized Zakharov system.	J. Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
14	Keyang Liu, Xingxin Li, Tsuyoshi Takagi	Robust Property-Preserving Hash Meets Homomorphism.	ISC	2023	DBLP DOI BibTeX RDF
14	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Property-Preserving Transformations of Elementary Net Systems Based on Morphisms.	Trans. Petri Nets Other Model. Concurr.	2022	DBLP DOI BibTeX RDF
14	Justin Holmgren, Minghao Liu 0010, LaKyah Tyner, Daniel Wichs	Nearly Optimal Property Preserving Hashing.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
14	Kazuhiko Minematsu	Property-Preserving Hash Functions and Combinatorial Group Testing.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
14	Kazuhiko Minematsu	Property-Preserving Hash Functions and Combinatorial Group Testing.	ITC	2022	DBLP DOI BibTeX RDF
14	Nils Fleischhacker, Kasper Green Larsen, Mark Simkin 0001	Property-Preserving Hash Functions for Hamming Distance from Standard Assumptions.	EUROCRYPT (2)	2022	DBLP DOI BibTeX RDF
14	Justin Holmgren, Minghao Liu 0010, LaKyah Tyner, Daniel Wichs	Nearly Optimal Property Preserving Hashing.	CRYPTO (3)	2022	DBLP DOI BibTeX RDF
14	Dmitri Kuzmin	Entropy stabilization and property-preserving limiters for ℙ1 discontinuous Galerkin discretizations of scalar hyperbolic problems.	J. Num. Math.	2021	DBLP DOI BibTeX RDF
14	Nils Fleischhacker, Kasper Green Larsen, Mark Simkin 0001	Property-Preserving Hash Functions from Standard Assumptions.	CoRR	2021	DBLP BibTeX RDF
14	Nils Fleischhacker, Kasper Green Larsen, Mark Simkin 0001	Property-Preserving Hash Functions from Standard Assumptions.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
14	Davide Bresolin, Ivan Lanese	Static and dynamic property-preserving updates.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
14	Nils Fleischhacker, Mark Simkin 0001	Robust Property-Preserving Hash Functions for Hamming Distance and More.	EUROCRYPT (3)	2021	DBLP DOI BibTeX RDF
14	Son Tuan Vu	Optimizing Property-Preserving Compilation. (Préservation des propriétés dans un flot de compilation optimisant).		2021	RDF
14	Sayantan Mandal	Monotonicity of the system function of a SISO FRI system with neutrality and ordering property preserving fuzzy implications.	Int. J. Approx. Reason.	2020	DBLP DOI BibTeX RDF
14	Andreas Krämer, Jonas Köhler 0001, Frank Noé	Training Neural Networks with Property-Preserving Parameter Perturbations.	CoRR	2020	DBLP BibTeX RDF
14	Dmitri Kuzmin	Entropy stabilization and property-preserving limiters for discontinuous Galerkin discretizations of nonlinear hyperbolic equations.	CoRR	2020	DBLP BibTeX RDF
14	Nils Fleischhacker, Mark Simkin 0001	Robust Property-Preserving Hash Functions for Hamming Distance and More.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
14	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Property-Preserving Transformations of Elementary Net Systems Based on Morphisms.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
14	Julian Parsert, Stephanie Autherith, Cezary Kaliszyk	Property Preserving Embedding of First-order Logic.	GCAI	2020	DBLP DOI BibTeX RDF
14	Elette Boyle, Rio LaVigne, Vinod Vaikuntanathan	Adversarially Robust Property-Preserving Hash Functions.	ITCS	2019	DBLP DOI BibTeX RDF
14	Elette Boyle, Rio LaVigne, Vinod Vaikuntanathan	Adversarially Robust Property Preserving Hash Functions.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
14	Frank Pallas, Martin Grambow	Three Tales of Disillusion: Benchmarking Property Preserving Encryption Schemes.	TrustBus	2018	DBLP DOI BibTeX RDF
14	Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis	Synthesis of Property-Preserving Mappings.	CoRR	2017	DBLP BibTeX RDF
14	Hanno Hildmann, Dymitr Ruta, Dina Y. Atia, A. F. Isakovic	Using branching-property preserving Pruefer Code to encode solutions for Particle Swarm Optimization.	FedCSIS	2017	DBLP DOI BibTeX RDF
14	Bernhard Steffen, Marc Jasper	Property-Preserving Parallel Decomposition.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
14	Davide Bresolin, Ivan Lanese	Most General Property-Preserving Updates.	LATA	2017	DBLP DOI BibTeX RDF
14	Tim Waage, Lena Wiese	Property Preserving Encryption in NoSQL Wide Column Stores.	OTM Conferences (2)	2017	DBLP DOI BibTeX RDF
14	Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol	Property-Preserving Generation of Tailored Benchmark Petri Nets.	ACSD	2017	DBLP DOI BibTeX RDF
14	Chaozhuo Li, Senzhang Wang, Dejian Yang, Zhoujun Li 0001, Yang Yang, Xiaoming Zhang 0001, Jianshe Zhou	PPNE: Property Preserving Network Embedding.	DASFAA (1)	2017	DBLP DOI BibTeX RDF
14	Tim Waage	A Framework for Property-preserving Encryption in Wide Column Store Databases.		2017	RDF
14	Ruby L. V. Moritz, Enrico Reich, Matthias Bernt, Martin Middendorf	A Property Preserving Method for Extending a Single-Objective Problem Instance to Multiple Objectives with Specific Correlations.	EvoCOP	2016	DBLP DOI BibTeX RDF
14	Muhammad Naveed 0001, Seny Kamara, Charles V. Wright	Inference Attacks on Property-Preserving Encrypted Databases.	CCS	2015	DBLP DOI BibTeX RDF
14	Sanjit Chatterjee, M. Prem Laxman Das	Property Preserving Symmetric Encryption Revisited.	ASIACRYPT (2)	2015	DBLP DOI BibTeX RDF
14	Sanjit Chatterjee, M. Prem Laxman Das	Property Preserving Symmetric Encryption: Revisited.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
14	Shashank Agrawal, Shweta Agrawal, Saikrishna Badrinarayanan, Abishek Kumarasubramanian, Manoj Prabhakaran 0001, Amit Sahai	Function Private Functional Encryption and Property Preserving Encryption : New Definitions and Positive Results.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
14	Hanh Nhi Tran, Christian Percebois	Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations.	ICST	2012	DBLP DOI BibTeX RDF
14	Omkant Pandey, Yannis Rouselakis	Property Preserving Symmetric Encryption.	EUROCRYPT	2012	DBLP DOI BibTeX RDF
14	Yosuke Yamamoto	Property-preserving program refinement.	ASE	2012	DBLP DOI BibTeX RDF
14	Stuart Hutchesson, John A. McDermid	Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations.	SPLC	2011	DBLP DOI BibTeX RDF
14	Jan Olaf Blech, Anton Hattendorf, Jia Huang	Towards a Property Preserving Transformation from IEC 61131-3 to BIP	CoRR	2010	DBLP BibTeX RDF
14	Jooyoung Lee 0001, John P. Steinberger	Multi-property-preserving Domain Extension Using Polynomial-based Modes of Operation.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
14	Liliana D'Errico, Michele Loreti	Property-Preserving Refinement of Concurrent Systems.	TGC	2010	DBLP DOI BibTeX RDF
14	Jooyoung Lee 0001, John P. Steinberger	Multi-property-preserving Domain Extension Using Polynomial-Based Modes of Operation.	EUROCRYPT	2010	DBLP DOI BibTeX RDF
14	Jason Baumgartner, Hari Mony	Scalable liveness checking via property-preserving transformations.	DATE	2009	DBLP DOI BibTeX RDF
14	Temesghen Kahsai	Property preserving development and testing for CSP-CASL.		2009	RDF
14	Hidenori Kuwakado, Masakatu Morii	Compression Functions Suitable for the Multi-Property-Preserving Transform.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2008	DBLP DOI BibTeX RDF
14	Li Jiao, Hejiao Huang, To-Yat Cheung	Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets.	J. Circuits Syst. Comput.	2008	DBLP DOI BibTeX RDF
14	Temesghen Kahsai, Markus Roggenbach	Property Preserving Refinement for Csp-Casl.	WADT	2008	DBLP DOI BibTeX RDF
14	Hejiao Huang, To-Yat Cheung, Xiaolong Wang 0001	Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design.	J. Inf. Sci. Eng.	2007	DBLP BibTeX RDF
14	Elena Andreeva 0001, Gregory Neven, Bart Preneel, Thomas Shrimpton	Seven-Property-Preserving Iterated Hashing: ROX.	IACR Cryptol. ePrint Arch.	2007	DBLP BibTeX RDF
14	Hidenori Kuwakado, Masakatu Morii	Compression Functions Suitable for the Multi-Property-Preserving Transform.	IACR Cryptol. ePrint Arch.	2007	DBLP BibTeX RDF
14	Dong Ha Nguyen, Mario Südholt	Property-Preserving Evolution of Components Using VPA-Based Aspects.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
14	Elena Andreeva 0001, Gregory Neven, Bart Preneel, Thomas Shrimpton	Seven-Property-Preserving Iterated Hashing: ROX.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
14	Mihir Bellare, Thomas Ristenpart	Multi-Property-Preserving Hash Domain Extension and the EMD Transform.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
14	Tullio Vardanega	Property-Preserving Reuse-Geared Approach to Model-Driven Development.	RTCSA	2006	DBLP DOI BibTeX RDF
14	H. J. Huang, Li Jiao, To-Yat Cheung	Property-preserving subnet reductions for designing manufacturing systems with shared resources.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
14	Li Jiao, Hejiao Huang, To-Yat Cheung	Property-preserving Composition by Place Merging.	J. Circuits Syst. Comput.	2005	DBLP DOI BibTeX RDF
14	Li Jiao, To-Yat Cheung, Weiming Lu	Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction.	Comput. J.	2005	DBLP DOI BibTeX RDF
14	Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko	Property Preserving Redesign of Specifications.	CALCO	2005	DBLP DOI BibTeX RDF
14	H. J. Huang, Li Jiao, To-Yat Cheung	Property-preserving composition of augmented marked graphs that share common resources.	ICRA	2003	DBLP DOI BibTeX RDF
14	Sibylle Peuker	Property Preserving Transition Refinement with Concurrent Runs: An Example.	ACSD	2001	DBLP DOI BibTeX RDF	Transition Refinement, Distributed Systems, Verification, Petri Nets, Partial Order Semantics
14	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
14	Mark James Burge, Walter G. Kropatsch	A Minimal Line Property Preserving Representation of Line Images.	Computing	1999	DBLP DOI BibTeX RDF
14	Claus Pahl	Facilitating Modular Property-Preserving Extensions of Programming Languages.	IWFM	1998	DBLP BibTeX RDF
14	Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem	Property Preserving Abstractions for the Verification of Concurrent Systems.	Formal Methods Syst. Des.	1995	DBLP DOI BibTeX RDF
14	Joseph Sifakis	Property Preserving Homomorphisms of Transition Systems.	Logic of Programs	1983	DBLP DOI BibTeX RDF
14	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
14	Julia Padberg	Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42
14	Ildikó Pelczer, Fernando Gamboa Rodríguez	Design of a System for Automated Generation of Problem Fields.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	automated problem generation, problem fields, mathematics
11	Kan Yasuda	A Single-Key Domain Extender for Privacy-Preserving MACs and PRFs.	ICISC	2008	DBLP DOI BibTeX RDF	imbalanced cipher block chaining, iCBC, MAC, privacy-preserving, message authentication code, domain extension
11	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
10	Adam D. Bradley, Azer Bestavros, Assaf J. Kfoury	Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN.	ICNP	2003	DBLP DOI BibTeX RDF
10	Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001	Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
7	Kan Yasuda	A Double-Piped Mode of Operation for MACs, PRFs and PROs: Security beyond the Birthday Barrier.	EUROCRYPT	2009	DBLP DOI BibTeX RDF	birthday bound, MAC, message authentication code, unforgeability, unpredictability, domain extension
7	Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen	Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.	FORMATS	2009	DBLP DOI BibTeX RDF
7	Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Wanchun Dou, Jian Lu 0001	A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
7	Francien Dechesne, Simona Orzan, Yanjing Wang 0001	Refinement of Kripke Models for Dynamics.	ICTAC	2008	DBLP DOI BibTeX RDF