作者: BUMP 時(shí)間: 2025-3-21 23:34 作者: WAX 時(shí)間: 2025-3-22 01:39 作者: covert 時(shí)間: 2025-3-22 05:40 作者: Altitude 時(shí)間: 2025-3-22 10:32 作者: 期滿 時(shí)間: 2025-3-22 13:22 作者: 期滿 時(shí)間: 2025-3-22 18:49 作者: Spinal-Fusion 時(shí)間: 2025-3-22 23:11
,What’s the Gist? Privacy-Preserving Aggregation of User Profiles,e them with advertisers and data brokers. Users have little control of what information is processed and are often left with an . decision between receiving free services or refusing to be profiled. This paper explores an alternative approach where users only disclose an . – the “gist” – of their da作者: Catheter 時(shí)間: 2025-3-23 02:41 作者: Fallibility 時(shí)間: 2025-3-23 08:16 作者: Anonymous 時(shí)間: 2025-3-23 13:01
New Insight to Preserve Online Survey Accuracy and Privacy in Big Data Era,telephone interviews and hence reduces the cost significantly. Nevertheless, accuracy and privacy remain as the major obstacles that need additional attention. To conduct an accurate survey, privacy maybe lost, and vice versa. In this paper, we provide new insight to preserve these two seeming contr作者: 反叛者 時(shí)間: 2025-3-23 15:49
Software Countermeasures for Control Flow Integrity of Smart Card C Codes,ng all possible attacks, control flow attacks aim at disrupting the normal execution flow. Identifying harmful control flow attacks as well as designing countermeasures at software level are tedious and tricky for developers. In this paper, we propose a methodology to detect harmful intra-procedural作者: integrated 時(shí)間: 2025-3-23 19:04 作者: DEAWL 時(shí)間: 2025-3-24 00:27
,: A Memory Graph Based Approach for Program Data Introspection and Modification,cs, rootkit detection, game hacking, and virtual machine introspection. In this paper we present a novel memory graph based approach for program data introspection and modification, which does not require source code, debugging symbols, or any API in the target program. It takes as input a sequence 作者: 嬰兒 時(shí)間: 2025-3-24 06:07 作者: 打包 時(shí)間: 2025-3-24 09:31
Modelling Time for Authenticated Key Exchange Protocols,rberos protocol. However, time is difficult to model in a Turing machine environment..We propose the first such model, where time is modelled as a global counter .. We argue that this model closely matches several implementations of time in computer environments. The usefulness of the model is shown作者: 或者發(fā)神韻 時(shí)間: 2025-3-24 12:41
Zero-Knowledge Password Policy Checks and Verifier-Based PAKE,passwords are never transmitted to the servers. This eliminates the need for trusting servers to securely process and store client passwords. A ZKPPC protocol, executed as part of the registration procedure, allows clients to further prove compliance of chosen passwords with respect to password poli作者: Criteria 時(shí)間: 2025-3-24 18:13
Bitcoin Transaction Malleability and MtGox, not provide any integrity guarantee for the signatures themselves. This allows an attacker to mount a malleability attack in which it intercepts, modifies, and rebroadcasts a transaction, causing the transaction issuer to believe that the original transaction was not confirmed. In February 2014 MtG作者: 的’ 時(shí)間: 2025-3-24 21:11
Election Verifiability for Helios under Weaker Trust Assumptions,en a prominent voting system like Helios cannot fully achieve verifiability since a dishonest bulletin board may add ballots. This problem is called ...In this paper we give a definition of verifiability in the computational model to account for a malicious bulletin board that may add ballots. Next,作者: overwrought 時(shí)間: 2025-3-25 01:02
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233839.jpg作者: Initiative 時(shí)間: 2025-3-25 04:03 作者: Retrieval 時(shí)間: 2025-3-25 08:20 作者: Ringworm 時(shí)間: 2025-3-25 14:08 作者: Ambulatory 時(shí)間: 2025-3-25 16:55 作者: 剛毅 時(shí)間: 2025-3-25 21:06 作者: 暫時(shí)中止 時(shí)間: 2025-3-26 02:15 作者: Resistance 時(shí)間: 2025-3-26 07:49 作者: 劇毒 時(shí)間: 2025-3-26 09:46 作者: defile 時(shí)間: 2025-3-26 15:27
Introduction: A Plague of Superheroes,chanism compliant with the concept of differential privacy. We consider two existing schemes offering a differentially private representation of profiles: BLIP (BLoom-and-flIP) and JLT (Johnson-Lindenstrauss Transform). For assessing their security levels, we play the role of an adversary aiming at 作者: 案發(fā)地點(diǎn) 時(shí)間: 2025-3-26 18:58
The Cinematic Superhero as Social Practiceen. Are the greedy data-filtering algorithms adopted in the literature maximally cooperative? Can novel secure view formats or answer distortion methods improve security or cooperativeness? What is the inherent complexity of confidentiality-preserving data publishing under different constraints, suc作者: galley 時(shí)間: 2025-3-27 00:15
Nonimage Forming Photoreceptors,telephone interviews and hence reduces the cost significantly. Nevertheless, accuracy and privacy remain as the major obstacles that need additional attention. To conduct an accurate survey, privacy maybe lost, and vice versa. In this paper, we provide new insight to preserve these two seeming contr作者: Amendment 時(shí)間: 2025-3-27 04:18 作者: 通便 時(shí)間: 2025-3-27 06:22
https://doi.org/10.1007/978-1-4612-6142-1 a quantitative information leakage analysis tool for the Java programming language; it is based on a flexible “point-to-point” information leakage model, where secret and publicly-observable data may occur at any time during a program’s execution. . repeatedly executes a Java program containing bot作者: 上釉彩 時(shí)間: 2025-3-27 10:49 作者: Agility 時(shí)間: 2025-3-27 14:54
https://doi.org/10.1007/978-94-009-0961-8rs, respectively, and the two servers then cooperate to authenticate the client without knowing the password of the client. In case one server is compromised by an adversary, the password of the client is required to remain secure. In this paper, we present a compiler that transforms any two-party P作者: 圖畫文字 時(shí)間: 2025-3-27 20:38 作者: enfeeble 時(shí)間: 2025-3-27 22:11 作者: 社團(tuán) 時(shí)間: 2025-3-28 02:36
https://doi.org/10.1007/978-94-009-0961-8 not provide any integrity guarantee for the signatures themselves. This allows an attacker to mount a malleability attack in which it intercepts, modifies, and rebroadcasts a transaction, causing the transaction issuer to believe that the original transaction was not confirmed. In February 2014 MtG作者: Calibrate 時(shí)間: 2025-3-28 06:56 作者: Infirm 時(shí)間: 2025-3-28 11:02 作者: 我正派 時(shí)間: 2025-3-28 17:17
https://doi.org/10.1007/978-3-319-11212-1anomaly detection; cryptography; database and storage security; formal methods and theory of security; h作者: 大猩猩 時(shí)間: 2025-3-28 22:46 作者: IOTA 時(shí)間: 2025-3-28 23:22
Public-Key Revocation and Tracing Schemes with Subset Difference Methods Revisited,subset difference (LSD) scheme) and an SRE scheme can be combined to construct a public-key revocation encryption (PKRE) scheme such that a set of revoked users is specified in a ciphertext. Our PKRE scheme using the LSD scheme and our SRE scheme can reduce the size of private keys and public keys b作者: Malcontent 時(shí)間: 2025-3-29 04:51 作者: 大量 時(shí)間: 2025-3-29 09:07 作者: 完成才會征服 時(shí)間: 2025-3-29 15:10
Challenging Differential Privacy:The Case of Non-interactive Mechanisms,ted on datasets of real user profiles. The results obtained clearly demonstrates that joint decoding is the most powerful attack, while also giving useful insights on how to set the differential privacy parameter ..作者: 得意牛 時(shí)間: 2025-3-29 18:00
Zero-Knowledge Password Policy Checks and Verifier-Based PAKE,PC protocols and suitable VPAKE protocols for ASCII-based passwords and policies that are commonly used on the web. To this end we introduce a reversible mapping of ASCII characters to integers that can be used to preserve the structure of the password string and a new randomized password hashing sc作者: originality 時(shí)間: 2025-3-29 20:03
Election Verifiability for Helios under Weaker Trust Assumptions,als..We further provide simple and natural criteria that imply weak verifiability. As an application of these criteria, we formally prove the latest variant of Helios by Bernhard, Pereira and Warinschi weakly verifiable. By applying our generic construction we obtain a Helios-like scheme that has ba作者: 闡明 時(shí)間: 2025-3-30 02:34
The Zo?trope and the Praxinoscopesubset difference (LSD) scheme) and an SRE scheme can be combined to construct a public-key revocation encryption (PKRE) scheme such that a set of revoked users is specified in a ciphertext. Our PKRE scheme using the LSD scheme and our SRE scheme can reduce the size of private keys and public keys b作者: hegemony 時(shí)間: 2025-3-30 07:37 作者: Finasteride 時(shí)間: 2025-3-30 08:38
The Post-War Struggle for Colour,y protect users’ privacy as multiple authorities can cooperate to identifier a user by collecting and analyzing his attributes. Therefore, it remains a challenging and important work to construct a PPMA-ABE scheme where the central authority is not required and both the identifiers and the attribute作者: NAV 時(shí)間: 2025-3-30 13:56 作者: 性上癮 時(shí)間: 2025-3-30 17:52 作者: 你不公正 時(shí)間: 2025-3-30 23:41
https://doi.org/10.1007/978-3-030-74792-3als..We further provide simple and natural criteria that imply weak verifiability. As an application of these criteria, we formally prove the latest variant of Helios by Bernhard, Pereira and Warinschi weakly verifiable. By applying our generic construction we obtain a Helios-like scheme that has ba作者: 字形刻痕 時(shí)間: 2025-3-31 01:27
Software Countermeasures for Control Flow Integrity of Smart Card C Codes, jump attacks at source code level and to automatically inject formally-proven countermeasures. The proposed software countermeasures defeat 100% of attacks that jump over at least two C source code statements or beyond. Experiments show that the resulting code is also hardened against unexpected function calls and jump attacks at assembly level.作者: gait-cycle 時(shí)間: 2025-3-31 07:23 作者: foliage 時(shí)間: 2025-3-31 12:03
0302-9743 ware mitigation, security in hardware, systems security, network security, database and storage security, software and application security, human and societal aspects of security and privacy.978-3-319-11211-4978-3-319-11212-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Anonymous 時(shí)間: 2025-3-31 15:25
0302-9743 rity, ESORICS 2014, held in Wroclaw, Poland, in September 2014 The 58 revised full papers presented were carefully reviewed and selected from 234 submissions. The papers address issues such as cryptography, formal methods and theory of security, security services, intrusion/anomaly detection and mal作者: Ostrich 時(shí)間: 2025-3-31 19:51
Consciousness and Self-Awarenessbal counter .. We argue that this model closely matches several implementations of time in computer environments. The usefulness of the model is shown by giving complexity-theoretic security proofs for OTP protocols and HMQV-like one-round AKE protocols.作者: Facilities 時(shí)間: 2025-3-31 22:32 作者: Apraxia 時(shí)間: 2025-4-1 05:13 作者: SPALL 時(shí)間: 2025-4-1 08:47 作者: 減至最低 時(shí)間: 2025-4-1 11:36 作者: 含糊其辭 時(shí)間: 2025-4-1 15:52 作者: acrimony 時(shí)間: 2025-4-1 22:33
