LIVIVO - Das Suchportal für Lebenswissenschaften

switch to English language
Erweiterte Suche

Suchergebnis

Treffer 1 - 10 von insgesamt 192

Suchoptionen

  1. Buch ; Dissertation / Habilitation: Technische, bauliche und administrative Entwicklung eines kommunalen deutschen Schlachthofs von den Anfängen bis 1950 am Beispiel Offenburgs

    Kopf, Beate

    1996  

    Verfasserangabe von Beate Kopf
    Schlagwörter Offenburger Schlachthof ; Geschichte
    Umfang 171 S. : Ill., graph. Darst., Kt.
    Dokumenttyp Buch ; Dissertation / Habilitation
    Dissertation / Habilitation München, Univ., Diss., 1996
    Anmerkung Zsfassung in engl. Sprache
    Bemerkung Abt. Nussallee/Bereichsbibl. ZBMed: AY 18491
    HBZ-ID HT007623980
    Datenquelle Katalog ZB MED Ernährung, Umwelt, Agrar

    Zusatzmaterialien

    Kategorien

  2. Buch ; Online: Hide and Seek with Spectres

    Oleksenko, Oleksii / Guarnieri, Marco / Köpf, Boris / Silberstein, Mark

    Efficient discovery of speculative information leaks with random testing

    2023  

    Abstract: Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect speculative leaks in commercial (black-box) CPUs. However, the testing process ...

    Abstract Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect speculative leaks in commercial (black-box) CPUs. However, the testing process is still slow, which has hindered in-depth testing campaigns, and so far prevented the discovery of new classes of leakage. In this paper, we identify the root causes of the performance limitations in existing approaches, and propose techniques to overcome these limitations. With these techniques, we improve the testing speed over the state-of-the-art by up to two orders of magnitude. These improvements enable us to run a testing campaign of unprecedented depth on Intel and AMD CPUs. As a highlight, we discover two types of previously unknown speculative leaks (affecting string comparison and division) that have escaped previous manual and automatic analyses.

    Comment: To appear in IEEE S&P 2023
    Schlagwörter Computer Science - Cryptography and Security
    Erscheinungsdatum 2023-01-18
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Zusatzmaterialien

    Kategorien

  3. Buch ; Online: Maatphor

    Salem, Ahmed / Paverd, Andrew / Köpf, Boris

    Automated Variant Analysis for Prompt Injection Attacks

    2023  

    Abstract: Prompt injection has emerged as a serious security threat to large language models (LLMs). At present, the current best-practice for defending against newly-discovered prompt injection techniques is to add additional guardrails to the system (e.g., by ... ...

    Abstract Prompt injection has emerged as a serious security threat to large language models (LLMs). At present, the current best-practice for defending against newly-discovered prompt injection techniques is to add additional guardrails to the system (e.g., by updating the system prompt or using classifiers on the input and/or output of the model.) However, in the same way that variants of a piece of malware are created to evade anti-virus software, variants of a prompt injection can be created to evade the LLM's guardrails. Ideally, when a new prompt injection technique is discovered, candidate defenses should be tested not only against the successful prompt injection, but also against possible variants. In this work, we present, a tool to assist defenders in performing automated variant analysis of known prompt injection attacks. This involves solving two main challenges: (1) automatically generating variants of a given prompt according, and (2) automatically determining whether a variant was effective based only on the output of the model. This tool can also assist in generating datasets for jailbreak and prompt injection attacks, thus overcoming the scarcity of data in this domain. We evaluate Maatphor on three different types of prompt injection tasks. Starting from an ineffective (0%) seed prompt, Maatphor consistently generates variants that are at least 60% effective within the first 40 iterations.
    Schlagwörter Computer Science - Cryptography and Security ; Computer Science - Artificial Intelligence ; Computer Science - Machine Learning
    Thema/Rubrik (Code) 670
    Erscheinungsdatum 2023-12-12
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Zusatzmaterialien

    Kategorien

  4. Buch ; Online: GuaranTEE

    Morbitzer, Mathias / Kopf, Benedikt / Zieris, Philipp

    Introducing Control-Flow Attestation for Trusted Execution Environments

    2022  

    Abstract: The majority of cloud providers offers users the possibility to deploy Trusted Execution Environments (TEEs) to protect their data and processes from high privileged adversaries. This offer is intended to address concerns of users when moving critical ... ...

    Abstract The majority of cloud providers offers users the possibility to deploy Trusted Execution Environments (TEEs) to protect their data and processes from high privileged adversaries. This offer is intended to address concerns of users when moving critical tasks into the cloud. However, TEEs only allow to attest the integrity of the environment at launch-time. To also enable the attestation of a TEE's integrity at run-time, we present GuaranTEE. GuaranTEE uses control-flow attestation to ensure the integrity of a service running within a TEE. By additionally placing all components of GuaranTEE in TEEs, we are able to not only detect a compromised target, but are also able to protect ourselves from malicious administrators. We show the practicability of GuaranTEE by providing a detailed performance and security evaluation of our prototype based on Intel SGX in Microsoft Azure. Our evaluation shows that the need to transfer information between TEEs and the additional verification process add considerable overhead under high CPU load. Yet, we are able to reduce this overhead by securely caching collected information and by performing the analysis in parallel to executing the application. In summary, our results show that GuaranTEE provides a practical solution for cloud users focused on protecting the integrity of their data and processes at run-time.
    Schlagwörter Computer Science - Cryptography and Security
    Thema/Rubrik (Code) 004
    Erscheinungsdatum 2022-02-15
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Zusatzmaterialien

    Kategorien

  5. Buch: UEBER DIE QUANTITATIVE UND QUALITATIVE AUSWERTUNG EINES SENSIBLEN VESTIBULO-SPINALEN TESTS, DES UNTERBERGER'SCHEN TRETVERSUCHES, MITTELS DER CRANIO-CORPO-GRAPHIE

    Köpf, Bernhard

    1978  

    Umfang 83 S.
    Dokumenttyp Buch
    Anmerkung WUERZBURG, UNIV., FACHBEREICH MEDIZIN, DISS., 1978
    HBZ-ID HT000220765
    Datenquelle Katalog ZB MED Medizin, Gesundheit

    Kategorien

  6. Buch ; Online: Revizor

    Oleksenko, Oleksii / Fetzer, Christof / Köpf, Boris / Silberstein, Mark

    Testing Black-box CPUs against Speculation Contracts

    2021  

    Abstract: Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Such vulnerabilities often stay undetected for a long time as we lack the ... ...

    Abstract Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Such vulnerabilities often stay undetected for a long time as we lack the tools for systematic testing of CPUs to find them. In this paper, we propose an approach to automatically detect microarchitectural information leakage in commercial black-box CPUs. We build on speculation contracts, which we employ to specify the permitted side effects of program execution on the CPU's microarchitectural state. We propose a Model-based Relational Testing (MRT) technique to empirically assess the CPU compliance with these specifications. We implement MRT in a testing framework called Revizor, and showcase its effectiveness on real Intel x86 CPUs. Revizor automatically detects violations of a rich set of contracts, or indicates their absence. A highlight of our findings is that Revizor managed to automatically surface Spectre, MDS, and LVI, as well as several previously unknown variants.
    Schlagwörter Computer Science - Cryptography and Security ; Computer Science - Hardware Architecture
    Thema/Rubrik (Code) 005
    Erscheinungsdatum 2021-05-14
    Erscheinungsland us
    Dokumenttyp Buch ; Online
    Datenquelle BASE - Bielefeld Academic Search Engine (Lebenswissenschaftliche Auswahl)

    Zusatzmaterialien

    Kategorien

  7. Artikel: In Düsseldorf bewegt sich was - Bewegung, Spiel und Sport mit krebskranken Kindern

    Kopf, B.

    B&G Bewegungstherapie und Gesundheitssport

    2006  Band 22, Heft 05, Seite(n) 186–187

    Abstract: Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte ... ...

    Abstract Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte Angebote dazu beitragen, den jungen Patienten Lebensfreude und -qualität zurückzugeben. Bewegung wird zunehmend zum festen Baustein in der Therapie krebskranker Kinder. Nicht zuletzt deshalb werden in der Universitätskinderklinik Düsseldorf Kindern und Jugendlichen vermehrt spielerische Bewegungsförderungen angeboten.
    Schlagwörter Entwicklungsverzögerungen ; Bewegung als Ablenkung ; flexible Planung ; Verbesserung des Körperbewusstseins ; soziale Kompetenz ; Development delay ; physical activity and mental diversion ; flexible planning ; improvement of body consciousness ; social competence
    Sprache Deutsch
    Erscheinungsdatum 2006-01-01
    Erscheinungsort Stuttgart ; New York
    Dokumenttyp Artikel
    ZDB-ID 2141948-6
    ISSN 1613-3269 ; 1613-0863
    ISSN (online) 1613-3269
    ISSN 1613-0863
    DOI 10.1055/s-2006-942215
    Datenquelle Thieme Verlag

    Zusatzmaterialien

    Kategorien

  8. Artikel: In Düsseldorf bewegt sich was - Bewegung, Spiel und Sport mit krebskranken Kindern

    Kopf, B.

    Bewegungstherapie und Gesundheitssport

    2006  Band 22, Heft 5, Seite(n) 186

    Sprache Deutsch
    Dokumenttyp Artikel
    ZDB-ID 1016021-8
    ISSN 0930-1348 ; 0939-0626
    Datenquelle Current Contents Medizin

    Zusatzmaterialien

    Kategorien

  9. Artikel: In Düsseldorf bewegt sich was - Bewegung, Spiel und Sport mit krebskranken Kindern

    Kopf, B

    Bewegungstherapie und Gesundheitssport - B&G

    2006  Band 22, Heft 5, Seite(n) 186–187

    Abstract: Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte ... ...

    Abstract Junge Krebspatienten sind durch ihre Erkrankung in ihrem Bewegungsumfeld eingeschränkt. Weitere Folgen sind oft Entwicklungsstörungen und Defizite in sozialer Kompetenz. Es hat sich gezeigt, dass bei solchen negativen Effekten bewegungsorientierte Angebote dazu beitragen, den jungen Patienten Lebensfreude und -qualität zurückzugeben. Bewegung wird zunehmend zum festen Baustein in der Therapie krebskranker Kinder. Nicht zuletzt deshalb werden in der Universitätskinderklinik Düsseldorf Kindern und Jugendlichen vermehrt spielerische Bewegungsförderungen angeboten.
    Schlagwörter Entwicklungsverzögerungen ; Bewegung als Ablenkung ; flexible Planung ; Verbesserung des Körperbewusstseins ; soziale Kompetenz ; Wärmeempfindlichkeit ; Größenverteilung ; Tumorzellen ; Eileiter ; endometrioides Adenokarzinom
    Sprache Deutsch
    Dokumenttyp Artikel
    ZDB-ID 2136938-0
    ISSN 1613-3269 ; 1613-0863
    ISSN 1613-0863
    DOI 10.1055/s-2006-942215
    Datenquelle Literaturdatenbank des Gesundheitswesens

    Kategorien

  10. Artikel ; Online: Transdisciplinary sarcoma care: a model for sustainable healthcare transformation.

    Fuchs, Bruno / Bode, Beata / Heesen, Philip / Kopf, Barbara / Michelitsch, Christian / Odermatt, Manfred / Giovanoli, Pietro / Breitenstein, Stefan / Schneider, Paul / Schüpfer, Guido / Boes, Stefan / Studer, Gabriela

    Swiss medical weekly

    2024  Band 154, Seite(n) 3473

    Mesh-Begriff(e) Humans ; Interdisciplinary Communication ; Delivery of Health Care ; Sarcoma/therapy
    Sprache Englisch
    Erscheinungsdatum 2024-04-04
    Erscheinungsland Switzerland
    Dokumenttyp Journal Article
    ZDB-ID 2036179-8
    ISSN 1424-3997 ; 1424-7860
    ISSN (online) 1424-3997
    ISSN 1424-7860
    DOI 10.57187/s.3473
    Datenquelle MEDical Literature Analysis and Retrieval System OnLINE

    Zusatzmaterialien

    Kategorien

Zum Seitenanfang