漸進的な情報フロー制御言語は、静的および動的な手法を組み合わせて、セキュリティ漏洩を防ぐことができる。本論文では、漸進的保証と情報セキュリティの両立を実現する新しい言語設計を提案する。
本研究では、複数の代理透かし検出モデルを利用した新しい転移攻撃を提案し、透かし検出に対する堅牢性を理論的および実験的に示した。
CocoonはRustでの静的型ベースの情報フロー制御を実現する。
Sanyashiらの暗号化スキームに対するCiphertext-Only Attack(COA)が脆弱性を明らかにした。
不正活動を暴くために深層学習技術が重要である。
クライアントが1つのファイルを取得し、サーバーにその選択を秘密に保ちます。
トピックモデルにおけるプライバシー攻撃の重要性と、巧妙な攻撃手法に対する防御策の提案。
大規模言語モデルへの間接プロンプトインジェクション攻撃のリスクを評価し、効果的な防御策を提案する。
ラベルのみのシナリオで強力かつ実用的な攻撃モデルを開発する。
3つのブロック暗号モード(PES-PCBC、IOBC、EPBC)はすべて欠陥を持ち、安全ではない。