Search results for "CSF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	Harry Z. B. Chen, Robert Schober	Cyclic space-frequency filtering for BICM-OFDM systems with multiple co-located or distributed transmit antennas.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
163	Harry Z. B. Chen, Robert Schober	Cyclic space-frequency filtering for BICM-OFDM systems with multiple co-located or distributed transmit antennas.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
103	Marcus J. Nadenau, Julien Reichel, Murat Kunt	Wavelet-based color image compression: exploiting the contrast sensitivity function.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
89	Thanh Tùng Kim, Giuseppe Caire, Mikael Skoglund	Decode-and-Forward Relaying With Quantized Channel State Feedback: An Outage Exponent Analysis.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
45	Christoph Busch 0001	Inter-patient analysis of tomographic data.	CBMS	1997	DBLP DOI BibTeX RDF	inter-patient analysis, tomographic data, computer-based support, pathological tissue localization, brain tissue types, pathological tissue, grey matter, fat tissue, two-step texture analysis, morphological postprocessing, tumor, classification, image segmentation, feature extraction, magnetic resonance imaging, computer tomography, background, bone, white matter, CSF
45	Hamed O. Ghaffari, Samuel C. Grant, Linda R. Petzold, Michael G. Harrington	Regulation of CSF and Brain Tissue Sodium Levels by the Blood-CSF and Blood-Brain Barriers During Migraine.	Frontiers Comput. Neurosci.	2020	DBLP DOI BibTeX RDF
44	Eric Swanson, Keiichi Sato, Judith Gregory	Exploring Cultural Context Using the Contextual Scenario Framework.	HCI (14)	2009	DBLP DOI BibTeX RDF	Context, Scenario, Culture, Human-Computer Interface, Scenario-Based Design, Information Systems Design
44	Mariano Montoni, Ana Regina Rocha	A Methodology for Identifying Critical Success Factors That Influence Software Process Improvement Initiatives: An Application in the Brazilian Software Industry.	EuroSPI	2007	DBLP DOI BibTeX RDF
44	Hai Li 0006, Tianming Liu 0001, Geoffrey S. Young, Lei Guo 0002, Stephen T. C. Wong	Brain tissue segmentation based on DWI/DTI data.	ISBI	2006	DBLP DOI BibTeX RDF
44	Vartan Kurtcuoglu, Michaela Soellinger, Paul E. Summers, Kevin Boomsma, Dimos Poulikakos, Peter Boesiger, Yiannis Ventikos	Reconstruction of Cerebrospinal Fluid Flow in the Third Ventricle Based on MRI Data.	MICCAI	2005	DBLP DOI BibTeX RDF
44	Wenlong Qian, Zujun Hou, Qingmao Hu, Aamer Aziz, Wieslaw Lucjan Nowinski	Segmentation of the Sylvian Fissure in Brain Mr Images.	BIBE	2004	DBLP DOI BibTeX RDF
44	Guillaume Dugas-Phocion, Miguel Ángel González Ballester, Grégoire Malandain, Christine Lebrun, Nicholas Ayache	Improved EM-Based Tissue Segmentation and Partial Volume Effect Quantification in Multi-sequence Brain MRI.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
40		36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023	CSF	2023	DBLP DOI BibTeX RDF
40	Alejandro Ranchal-Pedrosa, Vincent Gramoli	Basilic: Resilient-Optimal Consensus Protocols with Benign and Deceitful Faults.	CSF	2023	DBLP DOI BibTeX RDF
40	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Election Verifiability in Receipt-Free Voting Protocols.	CSF	2023	DBLP DOI BibTeX RDF
40	Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu	A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity.	CSF	2023	DBLP DOI BibTeX RDF
40	Bernardo Portela, Hugo Pacheco 0001, Pedro Jorge, Rogério Pontes	General-Purpose Secure Conflict-free Replicated Data Types.	CSF	2023	DBLP DOI BibTeX RDF
40	Zahra Javar, Bruce M. Kapron	Preimage Awareness in Linicrypt.	CSF	2023	DBLP DOI BibTeX RDF
40	Marco Patrignani, Sam Blackshear	Robust Safety for Move.	CSF	2023	DBLP DOI BibTeX RDF
40	Chris Brzuska, Sabine Oechsner	A State-Separating Proof for Yao's Garbling Scheme.	CSF	2023	DBLP DOI BibTeX RDF
40	Eric Chan, Marek Chrobak, Mohsen Lesani	Cross-Chain Swaps with Preferences.	CSF	2023	DBLP DOI BibTeX RDF
40	David Baelde, Alexandre Debant, Stéphanie Delaune	Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes.	CSF	2023	DBLP DOI BibTeX RDF
40	Ashley Fraser, Lydia Garms, Elizabeth A. Quaglia	On the Incoercibility of Digital Signatures.	CSF	2023	DBLP DOI BibTeX RDF
40	Shun Takagi, Fumiyuki Kato, Yang Cao 0011, Masatoshi Yoshikawa	From Bounded to Unbounded: Privacy Amplification via Shuffling with Dummies.	CSF	2023	DBLP DOI BibTeX RDF
40	Adi Akavia, Ben Galili, Hayim Shaul, Mor Weiss, Zohar Yakhini	Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE.	CSF	2023	DBLP DOI BibTeX RDF
40	Johannes Wilson, Mikael Asplund, Niklas Johansson	Extending the Authentication Hierarchy with One-Way Agreement.	CSF	2023	DBLP DOI BibTeX RDF
40	Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser	Statement-Oblivious Threshold Witness Encryption.	CSF	2023	DBLP DOI BibTeX RDF
40	Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman	Smart Contract Synthesis Modulo Hyperproperties.	CSF	2023	DBLP DOI BibTeX RDF
40	Vincent Cheval, Itsaka Rakotonirina	Indistinguishability Beyond Diff-Equivalence in ProVerif.	CSF	2023	DBLP DOI BibTeX RDF
40	Sebastian Holler, Sebastian Biewer, Clara Schneidewind	HoRStify: Sound Security Analysis of Smart Contracts.	CSF	2023	DBLP DOI BibTeX RDF
40	Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia 0001	Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.	CSF	2023	DBLP DOI BibTeX RDF
40	Sayanton V. Dibbo	SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap.	CSF	2023	DBLP DOI BibTeX RDF
40	Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi	Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow.	CSF	2023	DBLP DOI BibTeX RDF
40	Yunxiao Zhang, Pasquale Malacaria	Keep Spending: Beyond Optimal Cyber-Security Investment.	CSF	2023	DBLP DOI BibTeX RDF
40	Cas Cremers, Charlie Jacomme, Philip Lukert	Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis.	CSF	2023	DBLP DOI BibTeX RDF
40	Easwar Vivek Mangipudi, Donghang Lu, Alexandros Psomas 0001, Aniket Kate	Collusion-Deterrent Threshold Information Escrow.	CSF	2023	DBLP DOI BibTeX RDF
40	Jeppe Fredsgaard Blaabjerg, Aslan Askarov	OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads.	CSF	2023	DBLP DOI BibTeX RDF
40	Shahnewaz Karim Sakib, George T. Amariucai, Yong Guan	Variations and Extensions of Information Leakage Metrics with Applications to Privacy Problems with Imperfect Statistical Information.	CSF	2023	DBLP DOI BibTeX RDF
40	Denis Firsov, Dominique Unruh	Zero-Knowledge in EasyCrypt.	CSF	2023	DBLP DOI BibTeX RDF
40	Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters	High-Assurance Field Inversion for Curve-Based Cryptography.	CSF	2023	DBLP DOI BibTeX RDF
40	Emiel Lanckriet, Matteo Busi 0001, Dominique Devriese	$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.	CSF	2023	DBLP DOI BibTeX RDF
40	Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei	Towards a Game-Theoretic Security Analysis of Off-Chain Protocols.	CSF	2023	DBLP DOI BibTeX RDF
40	Liam Medley, Angelique Faye Loe, Elizabeth A. Quaglia	SoK: Delay-Based Cryptography.	CSF	2023	DBLP DOI BibTeX RDF
40	Sherman S. M. Chow, Christoph Egger 0001, Russell W. F. Lai, Viktoria Ronge, Ivy K. Y. Woo	On Sustainable Ring-Based Anonymous Systems.	CSF	2023	DBLP DOI BibTeX RDF
40	Thomas Humphries, Simon Oya, Lindsey Tulloch, Matthew Rafuse, Ian Goldberg, Urs Hengartner, Florian Kerschbaum	Investigating Membership Inference Attacks under Data Dependencies.	CSF	2023	DBLP DOI BibTeX RDF
40	Konstantinos Chatzikokolakis 0001, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso	Bayes Security: A Not So Average Metric.	CSF	2023	DBLP DOI BibTeX RDF
40	Aikaterini-Panagiota Stouka, Thomas Zacharias 0001	On the (De) centralization of FruitChains.	CSF	2023	DBLP DOI BibTeX RDF
40	Andrew C. Reed, Michael K. Reiter	Optimally Hiding Object Sizes with Constrained Padding.	CSF	2023	DBLP DOI BibTeX RDF
40	Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos	Securing Optimized Code Against Power Side Channels.	CSF	2023	DBLP DOI BibTeX RDF
40	Vincent Cheval, Véronique Cortier, Alexandre Debant	Election Verifiability with ProVerif.	CSF	2023	DBLP DOI BibTeX RDF
40	Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach	Formalizing Stack Safety as a Security Property.	CSF	2023	DBLP DOI BibTeX RDF
40		35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022	CSF	2022	DBLP DOI BibTeX RDF
40	Peixuan Li, Danfeng Zhang	Towards a General-Purpose Dynamic Information Flow Policy.	CSF	2022	DBLP DOI BibTeX RDF
40	Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua	Is Eve nearby? Analysing protocols under the distant-attacker assumption.	CSF	2022	DBLP DOI BibTeX RDF
40	David Mestel, Johannes Müller 0001, Pascal Reisert	How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis.	CSF	2022	DBLP DOI BibTeX RDF
40	Sébastien Gondron, Sebastian Mödersheim, Luca Viganò 0001	Privacy as Reachability.	CSF	2022	DBLP DOI BibTeX RDF
40	Ross Horne, Sjouke Mauw, Semen Yurkov	Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments.	CSF	2022	DBLP DOI BibTeX RDF
40	Thilo Weghorn, Si Liu 0003, Christoph Sprenger 0001, Adrian Perrig, David A. Basin	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures.	CSF	2022	DBLP DOI BibTeX RDF
40	Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin	IFCIL: An Information Flow Configuration Language for SELinux.	CSF	2022	DBLP DOI BibTeX RDF
40	François Dupressoir, Konrad Kohbrok, Sabine Oechsner	Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox.	CSF	2022	DBLP DOI BibTeX RDF
40	Raven Beutner, Bernd Finkbeiner	Prophecy Variables for Hyperproperty Verification.	CSF	2022	DBLP DOI BibTeX RDF
40	Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese	Proving full-system security properties under multiple attacker models on capability machines.	CSF	2022	DBLP DOI BibTeX RDF
40	Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.	CSF	2022	DBLP DOI BibTeX RDF
40	Alisa Pankova, Peeter Laud	Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes.	CSF	2022	DBLP DOI BibTeX RDF
40	Vincent Cheval, Raphaëlle Crubillé, Steve Kremer	Symbolic protocol verification with dice: process equivalences in the presence of probabilities.	CSF	2022	DBLP DOI BibTeX RDF
40	Mohamed El Massad, Nahid Juma, Jonathan Shahen, Mariana Raykova 0001, Siddharth Garg, Mahesh Tripunitara	Locked Circuit Indistinguishability: A Notion of Security for Logic Locking.	CSF	2022	DBLP DOI BibTeX RDF
40	Sergiu Bursuc, Sjouke Mauw	Contingent payments from two-party signing and verification for abelian groups.	CSF	2022	DBLP DOI BibTeX RDF
40	Priyanka Mondal, Maximilian Algehed, Owen Arden	Applying consensus and replication securely with FLAQR.	CSF	2022	DBLP DOI BibTeX RDF
40	David Mestel	Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games.	CSF	2022	DBLP DOI BibTeX RDF
40	Michele Ciampi, Yun Lu 0001, Vassilis Zikas	Collusion-Preserving Computation without a Mediator.	CSF	2022	DBLP DOI BibTeX RDF
40	Lisa Oakley, Alina Oprea, Stavros Tripakis	Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems.	CSF	2022	DBLP DOI BibTeX RDF
40	Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding 0001	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy.	CSF	2022	DBLP DOI BibTeX RDF
40	Felipe Boeira, Mikael Asplund	Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol.	CSF	2022	DBLP DOI BibTeX RDF
40	Mark Bun, Marco Gaboardi, Ludmila Glinskih	The Complexity of Verifying Boolean Programs as Differentially Private.	CSF	2022	DBLP DOI BibTeX RDF
40	Farzane Karami, David A. Basin, Einar Broch Johnsen	DPL: A Language for GDPR Enforcement.	CSF	2022	DBLP DOI BibTeX RDF
40	Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis	Mapping Synthesis for Hyperproperties.	CSF	2022	DBLP DOI BibTeX RDF
40	Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala	Adversary Safety by Construction in a Language of Cryptographic Protocols.	CSF	2022	DBLP DOI BibTeX RDF
40	Liyi Li 0002, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks 0001	A Formal Model of Checked C.	CSF	2022	DBLP DOI BibTeX RDF
40	David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau	Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant.	CSF	2022	DBLP DOI BibTeX RDF
40	Alexander May 0001, Floyd Zweydinger	Legendre PRF (Multiple) Key Attacks and the Power of Preprocessing.	CSF	2022	DBLP DOI BibTeX RDF
40	Tommy Hollenberg, Mike Rosulek, Lawrence Roy	A Complete Characterization of Security for Linicrypt Block Cipher Modes.	CSF	2022	DBLP DOI BibTeX RDF
40	Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg 0001, Catalin Hritcu	SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.	CSF	2022	DBLP DOI BibTeX RDF
40	Petar Paradzik, Ante Derek	Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting.	CSF	2022	DBLP DOI BibTeX RDF
40	Véronique Cortier, Antoine Dallon, Stéphanie Delaune	A small bound on the number of sessions for security protocols.	CSF	2022	DBLP DOI BibTeX RDF
40		34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021	CSF	2021	DBLP DOI BibTeX RDF
40	Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters	Formal security analysis of MPC-in-the-head zero-knowledge protocols.	CSF	2021	DBLP DOI BibTeX RDF
40	Tobias Klenze, Christoph Sprenger 0001, David A. Basin	Formal Verification of Secure Forwarding Protocols.	CSF	2021	DBLP DOI BibTeX RDF
40	Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini	Formal Impact Metrics for Cyber-physical Attacks.	CSF	2021	DBLP DOI BibTeX RDF
40	Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss	KACHINA - Foundations of Private Smart Contracts.	CSF	2021	DBLP DOI BibTeX RDF
40	Carlos E. Budde, Mariëlle Stoelinga	Efficient Algorithms for Quantitative Attack Tree Analysis.	CSF	2021	DBLP DOI BibTeX RDF
40	Orly Stan, Ron Bitton, Michal Ezrets, Moran Dadon, Masaki Inokuchi, Yoshinobu Ohta, Tomohiko Yagyu, Yuval Elovici, Asaf Shabtai	Heuristic Approach for Countermeasure Selection Using Attack Graphs.	CSF	2021	DBLP DOI BibTeX RDF
40	Sebastian Hunt, David Sands 0001	A Quantale of Information.	CSF	2021	DBLP DOI BibTeX RDF
40	Jian Xiang, Nathan Fulton, Stephen Chong	Relational Analysis of Sensor Attacks on Cyber-Physical Systems.	CSF	2021	DBLP DOI BibTeX RDF
40	Sébastien Gondron, Sebastian Mödersheim	Vertical Composition and Sound Payload Abstraction for Stateful Protocols.	CSF	2021	DBLP DOI BibTeX RDF
40	Søren Eller Thomsen, Bas Spitters	Formalizing Nakamoto-Style Proof of Stake.	CSF	2021	DBLP DOI BibTeX RDF
40	Lucca Hirschi, Lara Schmid, David A. Basin	Fixing the Achilles Heel of E-Voting: The Bulletin Board.	CSF	2021	DBLP DOI BibTeX RDF
40	Alexander Dax, Robert Künnemann	On the Soundness of Infrastructure Adversaries.	CSF	2021	DBLP DOI BibTeX RDF
40	Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade 0001	Mechanised Models and Proofs for Distance-Bounding.	CSF	2021	DBLP DOI BibTeX RDF
40	Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith 0001	A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption.	CSF	2021	DBLP DOI BibTeX RDF
40	Ankush Das, Stephanie Balzer, Jan Hoffmann 0002, Frank Pfenning, Ishani Santurkar	Resource-Aware Session Types for Digital Contracts.	CSF	2021	DBLP DOI BibTeX RDF